Counterexample to the Lean Conjecture (Soundness Bug)

1 pointsposted 5 hours ago
by ahlCVA
(leanprover.zulipchat.com)

No comments yet