search

FormalizedFormalLogic / Foundation

Lean4 Logic Formalization
https://formalizedformallogic.github.io/Summary/
Apache License 2.0
84 stars 5 forks source link

chore: Update to 4.11.0 #127

Closed SnO2WMaN closed 4 weeks ago

SnO2WMaN commented 3 months ago

close #116