edegeltje

Pinned Repositories

A_O_C_22
my solutions to advent of code 2022
Language:Haskell00
batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Language:Lean00
carleson
A formalized proof of Carleson's theorem in Lean
Language:Lean00
equational_theories
A project to map out the relations between different equational theories of Magmas.
Language:C00
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Language:Lean00
FreeCLT
this project aims to prove the free central limit theorem
Language:Lean00
game_project
Language:Haskell00
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS00
Mathieu_12_simple
Language:Lean00
seymour
Language:TeX00

edegeltje's Repositories

edegeltje/A_O_C_22
my solutions to advent of code 2022
Language:Haskell00
edegeltje/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Language:Lean00
edegeltje/carleson
A formalized proof of Carleson's theorem in Lean
Language:Lean00
edegeltje/equational_theories
A project to map out the relations between different equational theories of Magmas.
Language:C00
edegeltje/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Language:Lean00
edegeltje/game_project
Language:Haskell00
edegeltje/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS00
edegeltje/Mathieu_12_simple
Language:Lean00
edegeltje/xkcd2601
Transcription of xkcd 2601 to runnable logo code
00