boyland / sasylfLinks

Educational Proof Assistant for Type Theory
74Updated last year

Alternatives and similar repositories for sasylf

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

Sorting: