m-yac / tt-in-cagda

Simply typed lambda calculus in cubical agda
22Updated 5 years ago

Alternatives and similar repositories for tt-in-cagda:

Users that are interested in tt-in-cagda are comparing it to the libraries listed below