GitHub - gleachkr/TermRewriting: Lean formalizations of results from Term Rewriting and All That

gleachkr / TermRewriting Public

Lean formalizations of results from Term Rewriting and All That

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
TermRewriting		TermRewriting
.gitignore		.gitignore
TermRewriting.lean		TermRewriting.lean
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

About

Lean formalizations of results from Term Rewriting and All That

No releases published

No packages published