Louddy

PhD student in Theoretical Computer Science

Montréal

Pinned Repositories

interactive_theorem_proving_2024
Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
Language:Lean54 8 03
mathlib4
The math library of Lean 4
Language:Lean1.4k 38 392298
alg-bre_2
Language:TeX00
human-style-atp
Language:CSS00
louddy.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript20
mathlib
Lean mathematical components library
Language:Lean00
Procedurally-generated-3d-tree
Final project for the infographics course IFT-3355. Xavier Généreux and Louis Tremblay Thibault
Language:JavaScript20
The-northcott-property-of-dedekind-zeta-functions
Repository for the code of the computer assisted part of the project: The Northcott property of Dedekind zeta functions
Language:Jupyter Notebook10
skew_polynomials
Language:Lean00

Louddy/louddy.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript20
Louddy/Procedurally-generated-3d-tree
Final project for the infographics course IFT-3355. Xavier Généreux and Louis Tremblay Thibault
Language:JavaScript20
Louddy/The-northcott-property-of-dedekind-zeta-functions
Repository for the code of the computer assisted part of the project: The Northcott property of Dedekind zeta functions
Language:Jupyter Notebook10
Louddy/alg-bre_2
Language:TeX00
Louddy/human-style-atp
Language:CSS00
Louddy/mathlib
Lean mathematical components library
Language:Lean00