HuStmpHrrr / mech-type-theoriesLinks

Mechanizations of Type Theories
32Updated 2 months 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: