HuStmpHrrr / mech-type-theoriesLinks

Mechanizations of Type Theories
29Updated 3 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: