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