HuStmpHrrr / mech-type-theories

Mechanizations of Type Theories
27Updated this week

Related projects

Alternatives and complementary repositories for mech-type-theories