issues
search
FormalizedFormalLogic
/
Foundation
Lean4 Logic Formalization
https://formalizedformallogic.github.io/Summary/
Apache License 2.0
84
stars
5
forks
source link
refactor: rename `logic` to `foundation`
#142
Closed
SnO2WMaN
closed
1 month ago