Re-Redefine `Rew` - Githubissues

FormalizedFormalLogic / Foundation

Lean4 Logic Formalization

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

Apache License 2.0

84 stars 5 forks source link

Re-Redefine `Rew` #167

Closed iehality closed 4 days ago