BoltonBaileyformalSnarksProject

A formal verification of Linear PCP SNARKs.
#snark #mathlib
No README.md in repository.