Reservoir
No results found
All Packages
Lean2Dk
WIP translation from Lean to Dedukti
Readme
Versions (1)
Dependencies (3)
Displaying
1-1
of
1
versions of
Lean2Dk
Sort by
Date
Not a part of any version track.
aa6cedb
2 days ago
Released on March 10, 2025 at 10:24:04AM
Commit aa6cedb builds on its recent leanprover/lean4:v4.18.0-rc1
v4.18.0-rc1
46.9 MB
Build archive size: 46881420 bytes.
1
20