Reservoir
No results found
All Packages
paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
Readme
Versions (4)
Dependencies (9)
Displaying
1-4
of
4
versions of
paperproof
Sort by
Date
Not a part of any version track.
e2b76ee
a month ago
Released on November 13, 2024 at 12:25:47PM
Commit e2b76ee builds on its old leanprover/lean4:v4.12.0-rc1
v4.12.0-rc1
Not a part of any version track.
38f7775
v1.6.4
2 months ago
Released on November 4, 2024 at 2:02:14PM
Commit 38f7775 builds on its old leanprover/lean4:v4.12.0-rc1
v4.12.0-rc1
Not a part of any version track.
4484624
v1.0.0
a year ago
Released on January 13, 2024 at 9:11:02AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.0.0-rc2
Not a part of any version track.
e56b045
v0.0.5
a year ago
Released on October 19, 2023 at 7:27:30PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.0.0-rc2
1
20