Geeks
AndrasKovacs
/
setoidtt
Prototype implementations of systems based on setoid type theory
Primary Language
Haskell
setoidtt GitHub
Markdown
Readme
3
Issues
64
Stargazers
16
Watchers
Watchers
AndrasKovacs
eemailme
glaebhoerl
Hungary
JacquesCarette
McMaster University
jhcloos
jozefg
Aarhus
L-as
@dcSpark
mvr
NYUAD
nmvdw
ollef
Ascenium
quewean
RafaelBocquet
scott-fleischman
simfleischman
SimSpace
sjakobi
Leipzig, Germany
smunix
Montréal