pigworker / Bi71View on GitHub
being a bidirectional reformulation of Martin-Löf's 1971 type theory
25Sep 6, 2017Updated 8 years ago

Alternatives and similar repositories for Bi71

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

Sorting:

Are these results useful?