AD1024 / dtlcLinks

Dependently typed lambda calculus - A Simple Proof Assistant
12Updated 4 years ago

Alternatives and similar repositories for dtlc

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

Sorting: