sto0pkid / swipl-tt

Implementation of dependent type theory in SWI-Prolog
8Updated 4 years ago

Related projects

Alternatives and complementary repositories for swipl-tt