issues
search
FormalizedFormalLogic
/
Foundation
Lean4 Logic Formalization
https://formalizedformallogic.github.io/Summary/
Apache License 2.0
84
stars
5
forks
source link
refactor(IntProp/Modal): Refactor file structure
#169
Closed
SnO2WMaN
closed
3 days ago