Proof assistants and their applications in mathematics and computer science
Éditeur :
Springer International Publishing AG
ISBN :
9783031851896
Date de publication :
12 janv. 2026
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.