m-yac / tt-in-cagda

Simply typed lambda calculus in cubical agda
21Updated 4 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