Reservoir
No results found
All Packages
Lean2Dk
WIP translation from Lean to Dedukti
Readme
Versions (1)
Dependencies (3)
Transitive
Include transitive dependencies
Sort by
Require Order
Local path dependency.
Not found on Reservoir.
lean4lean
0.0.0
Git dependency.
Found on Reservoir.
Cli
v4.18.0-rc1
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
1
20