50 years of proof assistants

139 points • baruchel • 3 days ago • 30 comments