Geeks
UnivalencePrinciple
/
2LTT-Agda
Formalization of 2LTT in Agda
Primary Language
Agda
MIT License
MIT
2LTT-Agda GitHub
Markdown
Readme
0
Issues
14
Stargazers
4
Watchers
Stargazers
4e554c4c
@facebook
anqurvanillapy
@Shopee
dannypsnl
@second-state
ebigram
ericwang385
Gothenburg, Sweden
guilhermehas
Chalmers
JacquesCarette
McMaster University
jaycech3n
University of Nottingham
L-TChen
Institute of Information Science, Academia Sinica
nikitavoloboev
Madrid
tkersey
@thisisartium
YiqiXu