COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Scaffolds and frames: the MathComp algebra formal library

## Scaffolds and frames: the MathComp algebra formal libraryAdd to your list(s) Download to your calendar using vCal - Georges Gonthier (INRIA Saclay - Île-de-France)
- Thursday 13 July 2017, 09:00-10:00
- Seminar Room 1, Newton Institute.
If you have a question about this talk, please contact info@newton.ac.uk. BPRW01 - Computer-aided mathematical proof It is commonplace to assert that a formalization library provides aframework for formal proof development – the resusable pieces offormalized mathematics that can be reassembled to build largertheories. This role is sometimes over emphasized by the “prooflibrary” moniker, implying that the main use of the library is toavoid duplicating proof work. This talk is part of the Isaac Newton Institute Seminar Series series. ## This talk is included in these lists:- All CMS events
- Featured lists
- INI info aggregator
- Isaac Newton Institute Seminar Series
- School of Physical Sciences
- Seminar Room 1, Newton Institute
Note that ex-directory lists are not shown. |
## Other listsjcu21's list Global Challenges Research Fund (GCRF) Larmor Society 2009## Other talksFighting trypanosomiasis with snake venom toxins Finding medicine where you least expect it Experiments in Tunnel-Soil-Structure Interaction "Intestinal epithelial cells: at the interface of the microbiota and mucosal immunity" Imaging Clinic Rapid host-pathogen co-evolution following a severe emerging infectious outbreak |