☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (8)
remco-mul
0.1.0
#math
Displaying
1-1
of
1
versions of
remco-mul
Sort by
Date
0.1
Version track: 0.1
0.1.0
8 months ago
Released on November 5, 2024 at 7:29:05PM
Commit 9f3241a builds on its old leanprover/lean4:v4.13.0-rc3
v4.13.0-rc3
498.7 KB
Build archive size: 498682 bytes.
1
20
remco-mul0.1.0remco-mul0.1.0