50 years of proof assistants

3 points by zzkt