Giters

elefthei / coqstlczk

Coq proofs for ZK proof compilers

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

coqstlczk

Coq proofs for ZK proof compilers

Requirements

coq-bignums library.

About

Coq proofs for ZK proof compilers

Languages

Language:Coq 99.7%Language:Makefile 0.3%