thehottgame/TheHoTTGame
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
Agda
Stargazers
- aureliocarlucci
- brendanzab@yeslogic
- chezbgoneCambridge, MA
- chitogeBabyPhD/AceBear, NYU MS Cybersec
- dannypsnl@second-state
- danoneataRomania
- disconcision@hazelgrove @fplab
- ekim1919
- elegaanzGrenoble, France
- fabiancookPropagator
- felko
- folkong
- gabriel-fallenKontur
- GoPavelSerokell
- iblechUniversity of Padova
- IndisciplineHQNew York, NY
- jakeisnt@improvin
- jiaminglimjmSelangor, Malaysia
- Jlh18
- juhpRed Hat
- Karnaj
- kbuzzard@ImperialCollegeLondon
- MesablooFrance
- mmirmanExtensional
- nasosev@oneironaut-dev
- nganhkhoa
- nikitavoloboevMadrid
- russellmcc
- sheb-gregorKyiv
- simfleischmanSimSpace
- sinhpJohns Hopkins, US
- sirabenYale University
- sloboegen@SiriusCourses
- tkersey@thisisartium
- TristanCacquerayRed Hat
- YazzyYazCelestia Labs