Popular repositories Loading

1. agda-unimath agda-unimath Public

   Forked from UniMath/agda-unimath

   Univalent mathematics in Agda

   Agda 1

2. Wuorinen-Simple-Composition-exercises Wuorinen-Simple-Composition-exercises Public

   exercises from simple composition, typeset in Lilypond

   LilyPond

3. HoTTEST-Summer-School HoTTEST-Summer-School Public

   Forked from martinescardo/HoTTEST-Summer-School

   my solutions to exercises from HoTTEST Summer School 2022

   TeX

4. cubical cubical Public

   Forked from agda/cubical

   An experimental library for Cubical Agda

   Agda

5. TheHoTTGame TheHoTTGame Public

   Forked from thehottgame/TheHoTTGame

   Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT

   Agda

6. 1lab 1lab Public

   Forked from the1lab/1lab

   A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

   Agda