Skip to content
@ImperialCollegeLondon

Imperial College London

Imperial College main code repository

Popular repositories

  1. Code for modelling estimated deaths and cases for COVID19.

    Stan 945 269

  2. Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.

    Lean 263 24

  3. Building the natural numbers in Lean.

    Lean 252 68

  4. Speech Processing Toolbox for MATLAB

    MATLAB 183 60

  5. Lean stuff for M40001

    Lean 141 11

  6. Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.

    Lean 101 25

Repositories