GitHub - pa-ba/guarded-lean: Guarded recursive types in Lean

Name		Name	Last commit message	Last commit date
Latest commit History 33 Commits
Guardedlean		Guardedlean
.gitignore		.gitignore
Guardedlean.lean		Guardedlean.lean
Main.lean		Main.lean
ToT.lean		ToT.lean
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Provide feedback