Popular repositories Loading

1. M1F-explained M1F-explained Public

   Forked from ImperialCollegeLondon/M1F-explained

   A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"

   Lean

2. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   Work in progress mathlib port for lean 4

   Lean

3. archiebrowne.github.io archiebrowne.github.io Public

   CSS

4. formalising-mathematics-2024 formalising-mathematics-2024 Public

   Forked from ImperialCollegeLondon/formalising-mathematics-2024

   Formalising Mathematics; a course for undergraduate mathematicians. Running January to March 2024.

   Lean

5. simulatedannealing simulatedannealing Public

   Python

6. optlib-fork optlib-fork Public

   Forked from optsuite/optlib

   Lean