Xavier Généreux's repositories
louddy.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
mathlib
Lean mathematical components library
Language:LeanApache-2.0000
MIT000
Procedurally-generated-3d-tree
Final project for the infographics course IFT-3355. Xavier Généreux and Louis Tremblay Thibault
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:TeX000