#proof assistants
1 articles tagged proof assistants. At twelve articles this topic starts lifting the whole site in search.
Timeline
All articles
-
Tech · 2 min readFormal proofs, explained — the machinery that makes AI math believable
Formal proofs encode every logical step in languages like Lean for mechanical checking