50 years of proof assistants

• December 12, 2025