bluesky — Arnfinn — 13 Sep 2026
They can make proofs for theorem provers such as Lean. No Lean, no proof. Lean is human readable.
#ai-assisted-mathematics #proof-assistants #formal-verification
They can make proofs for theorem provers such as Lean. No Lean, no proof. Lean is human readable.