issues
search
AndrasKovacs
/
glue
Glued models of type theory, using internal languages
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
General Questions on QIIT and Agda
#3
DKXXXL
opened
1 year ago
18
About the choice of Set Level in Syntax
#2
DKXXXL
closed
2 years ago
5
Questions on "dramatically streamlined"
#1
DKXXXL
closed
3 years ago
1