FormalizedFormalLogic / Foundation

Lean4 Logic Formalization

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

Apache License 2.0

84 stars 5 forks source link

Add `linter.flexible` #160

Closed SnO2WMaN closed 2 weeks ago

SnO2WMaN commented 2 weeks ago

161 で同時に導入する