boyland / sasylfLinks

Educational Proof Assistant for Type Theory
74Updated 10 months ago

Alternatives and similar repositories for sasylf

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

Sorting: