@mmagician
We're entering a phase where provers for special relations are becoming commonplace. E.g. existence of a value in a table is a good example of such a relation. Evaluations of a polynomial over {0,1}^n is another.
0 reply
0 recast
0 reaction