bobatkey / sottLinks

Simplified Observational Type Theory
82Updated 2 years ago

Alternatives and similar repositories for sott

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

Sorting: