Właśnie zainwestowałem w @MaxResnick1 prover w Sieci Zwięzłych Dowodów. Tylko w górę.
1,5K