martinescardo/HoTT-UF-Agda-Lecture-Notes Stargazers
- Yad Konrad0bserver07
- Alberto CentellesAcentelles
- Andor Penzesandorp
- Ayberk Tosunayberkt
- Brendan Zabarauskasbrendanzab
- aprilcyberglot
- dan-c-k
- Daniel R. GraysonDanGrayson
- Daniel Díaz Carretedanidiaz
- Dan Oneațădanoneata
- Claudia Doppioslashdoppioslash
- Leonid Dubinskydubinsky
- FireFlyFireyFly
- glangmead
- Danny Riordanjdriordan
- Kartik Singhalk4rtik
- Kenneth Bruskiewiczkennethbruskiewicz
- Christopher Blanchardlambdaxymox
- James Edward Lewis IIlewisje
- logicshan
- Mukesh Tiwarimukeshtiwari
- ndcroos
- Nikitanikitavoloboev
- Junaid Ali Rasheedrasheedja
- Divyanshu Ranjanrdivyanshu
- Rin Arakakirinarakaki
- Rodrigo Geraldo Ribeirorodrigogribeiro
- Scott Fleischmanscott-fleischman
- Paul Wilsonstatusfailed
- themattchan
- Tim Kerseytkersey
- William DeMeowilliamdemeo
- Warren D Hattonwrrnhttn
- Apostolis Xekoukoulotakisxekoukou
- Yiqi XuYiqiXu
- zypehzypeh