Counterexample to the Lean Conjecture (Soundness Bug)

(leanprover.zulipchat.com)

2 points | by ahlCVA 6 hours ago

No comments yet.