Popular repositories Loading
-
-
agda-unimath
agda-unimath PublicForked from UniMath/agda-unimath
Univalent mathematics in Agda
Makefile
-
-
1lab
1lab PublicForked from the1lab/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Agda
-
TypeTopology
TypeTopology PublicForked from martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Agda
-
fractals-rs
fractals-rs PublicForked from constantoine/fractals-rs
A small experimentation with drawing fractals
Rust
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.