No results found

IUM

Lean formalisation of parts of Imperial College London's Introduction to University Mathematics course
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlib39e0665

    The math library of Lean 4