Arklib
Formally Verified Arguments of Knowledge in Lean
Sort by
Require Order
seq
7279fc2
checkdecls
lean4.18.0
Tiny Lean library to check existence of declarationsdoc-gen4
v4.22.0-rc2
Document Generator for Lean 4VCVio
v4.22.0-rc2
Formalized Cryptography Proofs in Lean 4