Skip to content

Draft: PCP-RTA

Sergey Bozhkorequested to merge
sbozhko/rt-proofs:pcp_proof into master

I shook the dust off the old PCP-RTA proof. And it actually works fine; currently, there are no admitted lemmas. There are a few outdated things that we need to fix, though.

Merge request reports