GitHub - jonas-frey/Impredicative: impredicative encodings in Lean · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 60 Commits
cubical		cubical
types		types
.gitignore		.gitignore
.project		.project
arity.hlean		arity.hlean
encode.hlean		encode.hlean
helpers.hlean		helpers.hlean
imp_prop_trunc.hlean		imp_prop_trunc.hlean
test.hlean		test.hlean

About

impredicative encodings in Lean

1 star

0 watching

Report repository

Releases

No releases published

Packages

Contributors

Languages

Lean 100.0%