issues
search
FormalizedFormalLogic
/
Foundation
Lean4 Logic Formalization
https://formalizedformallogic.github.io/Summary/
Apache License 2.0
84
stars
5
forks
source link
Heyting Semantics for Propositional Intuitionistic Logic
#135
Closed
iehality
closed
2 months ago