HuStmpHrrr / mech-type-theories

Mechanizations of Type Theories
27Updated 2 weeks ago

Related projects

Alternatives and complementary repositories for mech-type-theories