GitHub repository: DelphinusLab/zkcoq
Created: 2022-04-13T05:00:56Z
Description: verifiable circuit builder in coq