Skip to content

README.md

1702a85
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Remove dependency from LaurelGrammar.lean to proofs, and move the proof files to Strata #367

README.md
1702a85
Select commit
Loading
Failed to load commit list.