Popular repositories Loading

1. natural_number_game natural_number_game Public

   Forked from ImperialCollegeLondon/natural_number_game

   Building the natural numbers in Lean.

   Lean 1

2. numpy numpy Public

   Forked from numpy/numpy

   Numpy main repository

   C

3. BRiAl BRiAl Public

   Forked from BRiAl/BRiAl

   Successor to PolyBoRi

   C++

4. mathlib mathlib Public

   Forked from leanprover-community/mathlib3

   Lean mathematical components library

   Lean

5. vscode-lean vscode-lean Public

   Forked from leanprover/vscode-lean

   An extension for VS Code which provides support for the Lean language.

   TypeScript

6. pfr pfr Public

   Forked from teorth/pfr

   Lean