BoltonBaileyFormalSnarksProject0.1.0

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