Proof assitant
Comparing mathematical provers
Freek Wiedijk (University of Nijmegen)
#Formal_verification