issues
search
AndrasKovacs
/
setoidtt
Prototype implementations of systems based on setoid type theory
64
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Release 'flatparse' to Hackage?
#3
chshersh
opened
3 years ago
2
Question on elaboration of pairs
#2
atennapel
closed
3 years ago
3
Removing Prop in setoidtt-proto
#1
atennapel
closed
3 years ago
3