3 ms·
Proofs can be expressed using a string and verified to check every step is valid. So brute force over every string, checking if it's a valid proof for the clai
by ikeboy 10y ago
Proofs can be expressed using a string and verified to check every step is valid.
So brute force over every string, checking if it's a valid proof for the claim you want.
- deleted 10y ago[deleted]