bobatkey / sott

Simplified Observational Type Theory
81Updated last year

Related projects

Alternatives and complementary repositories for sott