bluesky — CassiniDivision 🇨🇦 — 13 Sep 2026
Are you getting mathematical insight out of the computer proof method, or is the proof just impenetrable and all you get…
#formal-verification #mathematical-logic #automated-reasoning
Are you getting mathematical insight out of the computer proof method, or is the proof just impenetrable and all you get is the truth value of the conjecture?