/setoidtt

Prototype implementations of systems based on setoid type theory

Primary LanguageHaskell

Watchers