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.20.0
Document Generator for Lean 4VCVio
v4.20.0
Formalized Cryptography Proofs in Lean 4