GitHub - lephe/lean4-rewriting: Tests around generalized rewriting in Lean 4.

Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
GeneralizedRewriting		GeneralizedRewriting
.gitignore		.gitignore
GeneralizedRewriting.lean		GeneralizedRewriting.lean
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

About

Tests around generalized rewriting in Lean 4.

No releases published