2540825244m2r-group-70.1.0

Imperial Maths Year 2 Research Project Group 7 - Mathematics Formalisation
#math
Sort by
  1. Git dependency.
    Found on Reservoir.

    Paperproofc944afd

    Lean theorem proving interface which feels like pen-and-paper proofs.
  2. Git dependency.
    Not found on Reservoir.

    OrderPQ2e9d6a1

  3. Registry dependency.
    Found on Reservoir.

    mathlibv4.29.1

    The math library of Lean 4