3/8/2026
•
EN
How much certainty is worthwhile?
Discusses verifying mathematical identities using point-checking, Python, and formal methods, relating to programming and proofs.