Popular repositories Loading

1. dai-dinamici.github.io dai-dinamici.github.io Public

   Forked from dai-dinamici/dai-dinamici.github.io

   The current version of [DAI](https://dinamici.org) website. Now statically generated

   CSS

2. mathematics_in_lean mathematics_in_lean Public

   Forked from leanprover-community/mathematics_in_lean

   The user home repository for the Mathematics in Lean tutorial.

   HTML

3. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   Work in progress mathlib port for lean 4

   Lean

4. birkhoff birkhoff Public

   Forked from mseri/BET

   Project for "Machine-Checked Mathematics" at the Lorentz Center

   Lean