andrejbauer / dependent-type-theory-syntax

An Agda formalization of raw syntax for dependent type theory

andrejbauer/dependent-type-theory-syntax Stargazers

Ayberk Tosun
ayberkt
beike-zh
Bulhwi Cha
chabulhwi
Dimitur Krustev
dkrustev
Jacques Carette
JacquesCarette
Scott Fleischman
simfleischman
Jure Smolar
Tevqoon
Tim Kersey
tkersey

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.