Robuta

https://shop.elsevier.com/books/computer-arithmetic-and-formal-proofs/boldo/978-1-78548-112-3 Computer Arithmetic and Formal Proofs - 1st Edition | Elsevier Shop computer arithmetic formal proofs edition elsevier shop https://academiccommons.columbia.edu/doi/10.7916/D8K3630V Verbalization of high-level formal proofs | Academic Commons We propose a new approach to text generation from formal proofs that exploits the high-level and interactive features of a tactic-style theorem prover. The... high level formal proofs academic commons https://resources.illc.uva.nl/LogicList/newsitem.php?id=9037 PhD student position in programming languages and formal proofs, Palaiseau (France) phd student programming languages formal proofs position https://devel.isa-afp.org/ Archive of Formal Proofs A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle. archive formal proofs https://experts.mcmaster.ca/scholarly-works/1407338 Panoptes An Exploration Tool for Formal Proofs Learn about the scholarly work entitled Panoptes An Exploration Tool for Formal Proofs exploration tool for formal panoptes proofs https://fmap.unige.ch/ The FMAP Group - Formal Modeling, Analysis and Proofs - UNIGE fmap group formal modeling analysis