Seiryn21

Pinned Repositories

agda-stdlib
The Agda standard library
Language:Agda571 28 1k234
mathlib4
The math library of Lean 4
Language:Lean1.4k 38 392298
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Language:Agda00
agda-stdlib
The Agda standard library
Language:Agda00
agda-unimath
Univalent mathematics in Agda
Language:Makefile00
fractals-rs
A small experimentation with drawing fractals
Language:Rust00
Seiryn21
Config files for my GitHub profile.
00
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Language:Agda00
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Language:Agda333 11 7263

Seiryn21's Repositories

Seiryn21/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Language:Agda00
Seiryn21/agda-stdlib
The Agda standard library
Language:Agda00
Seiryn21/agda-unimath
Univalent mathematics in Agda
Language:Makefile00
Seiryn21/fractals-rs
A small experimentation with drawing fractals
Language:Rust00
Seiryn21/Seiryn21
Config files for my GitHub profile.
00
Seiryn21/TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Language:Agda00