Reservoir
No results found
All Packages
IUM
Lean formalisation of parts of Imperial College London's Introduction to University Mathematics course
Readme
Versions (1)
Dependencies (8)
Displaying
1-1
of
1
versions of
IUM
Sort by
Date
Not a part of any version track.
4794c70
a month ago
Released on October 3, 2024 at 2:55:25PM
Commit 4794c70 builds on its old leanprover/lean4:v4.12.0
v4.12.0
891.9 KB
Build archive size: 891881 bytes.
1
20