Lean proof examples
Loading…
Loading examples…
Ten examples shown — the rest are withheld to avoid contaminating PutnamBench.