Reservoir
No results found
All Packages
risc0-lean4
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
#risc0
#zero-knowledge
#zk-stark
#zkvm
#risc-v
#riscv
#riscv32
#riscv32im
Readme
Versions (1)
Dependencies (10)
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Not found on Reservoir.
CMark
2cc7cde
Git dependency.
Not found on Reservoir.
lake
d0b5305
Git dependency.
Found on Reservoir.
doc-gen4
bdf803b
Document Generator for Lean 4
Git dependency.
Not found on Reservoir.
Cli
5a858c3
Git dependency.
Found on Reservoir.
mathlib
3cd4748
The math library of Lean 4
Git dependency.
Not found on Reservoir.
Qq
7ac99aa
Git dependency.
Not found on Reservoir.
aesop
6f04ed7
Git dependency.
Not found on Reservoir.
leanInk
2447df5
Git dependency.
Not found on Reservoir.
Unicode
6dd6ae3
Git dependency.
Not found on Reservoir.
std
a109889
1
20