issues
search
FormalizedFormalLogic
/
Foundation
Lean4 Logic Formalization
https://formalizedformallogic.github.io/Summary/
Apache License 2.0
84
stars
5
forks
source link
refactor: Remove simp for abbreviation
#128
Closed
SnO2WMaN
closed
3 months ago