no code implementations • 1 Apr 2021 • Gopal Sarma, James Koppel, Gregory Malecha, Patrick Schultz, Eric Drexler, Ramana Kumar, Cody Roux, Philip Zucker
Formal Methods for the Informal Engineer (FMIE) was a workshop held at the Broad Institute of MIT and Harvard in 2021 to explore the potential role of verified software in the biomedical software ecosystem.
no code implementations • 16 May 2015 • Leonardo de Moura, Jeremy Avigad, Soonho Kong, Cody Roux
To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs.
Logic in Computer Science
