elefthei/coqstlczk

Coq proofs for ZK proof compilers

coqstlczk

Coq proofs for ZK proof compilers

Requirements

coq-bignums library.