Skip to content
Branch: master
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
calculus_of_constructions.m31
dependent_product.m31
dependent_sum.m31
empty.m31
eq_subst.m31
equality_reflection.m31
identity_type.m31
impredicative_prop.m31
judgemental_equality.m31
judgemental_equality_term.m31
judgemental_equality_type.m31
mltt.m31
nat.m31
unit.m31
You can’t perform that action at this time.