ilya-klyuchnikov / ttliteLinks

A SuperCompiler for Martin-Löf's Type Theory
121Updated 3 years ago

Alternatives and similar repositories for ttlite

Users that are interested in ttlite are comparing it to the libraries listed below

Sorting: