UnivalencePrinciple / 2LTT-Agda

Formalization of 2LTT in Agda
13Updated 11 months ago

Related projects

Alternatives and complementary repositories for 2LTT-Agda