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

Name		Name	Last commit message	Last commit date
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

About

Guarded recursive types in Lean

9 stars

5 watching

Report repository

Releases

Packages

Contributors

Languages