Popular repositories Loading

1. Procedurally-generated-3d-tree Procedurally-generated-3d-tree Public

   Final project for the infographics course IFT-3355. Xavier Généreux and Louis Tremblay Thibault

   JavaScript 2

2. xgenereux.github.io xgenereux.github.io Public

   Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

   JavaScript 2

3. The-northcott-property-of-dedekind-zeta-functions The-northcott-property-of-dedekind-zeta-functions Public

   Repository for the code of the computer assisted part of the project: The Northcott property of Dedekind zeta functions

   Jupyter Notebook 1

4. formalization_in_lean_2025 formalization_in_lean_2025 Public

   Official repository for the Master Praktikum: Formalization in Lean 2025 at LMU

   Lean 1

5. mathlib mathlib Public

   Forked from leanprover-community/mathlib3

   Lean mathematical components library

   Lean

6. talk-leaning-in-drinfeld-modules-2025 talk-leaning-in-drinfeld-modules-2025 Public

   Slides for a talk about a project on the formalization of Drinfeld Modules, given at Leaning In! in March 2025

   TeX