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

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