Skip to content

scope grinds, lemmas

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

feat: add Logics/Propositional/NaturalDeduction/* #91

scope grinds, lemmas
4110032
Select commit
Loading
Failed to load commit list.