50 Years of Proof Assistants

2 points | by tosh 4 hours ago