Refactor on Modal Logic GL - Githubissues

FormalizedFormalLogic / Foundation

Lean4 Logic Formalization

https://formalizedformallogic.github.io/Summary/

Apache License 2.0

84 stars 5 forks source link

Refactor on Modal Logic GL #163

Closed SnO2WMaN closed 1 week ago