Alice Laroche's repositories
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Language:AgdaAGPL-3.0000
agda-stdlib
The Agda standard library
Language:AgdaNOASSERTION000
agda-unimath
Univalent mathematics in Agda
Language:MakefileMIT000
fractals-rs
A small experimentation with drawing fractals
Language:Rust000
Seiryn21
Config files for my GitHub profile.
000
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Language:AgdaGPL-3.0000