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. louddy.github.io louddy.github.io Public

   Forked from academicpages/academicpages.github.io

   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. alg-bre_2 alg-bre_2 Public

   TeX

5. human-style-atp human-style-atp Public

   Forked from wtgowers/human-style-atp

   CSS

6. mathlib mathlib Public

   Forked from leanprover-community/mathlib3

   Lean mathematical components library

   Lean