HuStmpHrrr / mech-type-theoriesLinks

Mechanizations of Type Theories
30Updated 2 weeks ago

Alternatives and similar repositories for mech-type-theories

Users that are interested in mech-type-theories are comparing it to the libraries listed below

Sorting: