formalising-mathematics-2024

(★ 255)

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

Owner Repos

FLT ★ 975

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Lean
covid19model ★ 940

Code for modelling estimated deaths and cases for COVID19.

Stan
formalising-mathematics ★ 315

Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

Lean
natural_number_game ★ 304

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

Lean
sap-voicebox ★ 254

Speech Processing Toolbox for MATLAB

MATLAB
sharpy ★ 189

Simulation of High Aspect Ratio aeroplanes and wind turbines in Python: a nonlinear aeroelastic code

Python

File Explorer

ZIP Download
  • .gitignore
  • .gitpod.yml
  • FormalisingMathematics2024.lean
  • lake-manifest.json
  • lakefile.lean
  • lean-toolchain
  • LICENSE
  • README.md
  • settings.json

# Use via CDN

jsDelivr

jsDelivr serves any public GitHub repository as a CDN with zero setup. Pick a version and a file to get a ready-to-paste link and snippet.

Link
Example

Command Glossary

Commands referenced in this DOCs, explained below.

🔍

git clone

View Details ▼

Clone an existing repository.

git clone {{remote_repository_location}} {{path/to/directory}}

Clone an existing repository into a new directory (the default directory is the repository name):

git clone --recursive {{remote_repository_location}}

Clone an existing repository and its submodules:

git clone {{[-n|--no-checkout]}} {{remote_repository_location}}

Clone only the `.git` directory of an existing repository:

// repository documentation