skip to content
 

Overview of Unimath

Presented by: 
Benedikt Ahrens INRIA Rennes - Bretagne Atlantique
Catherine LELAY Institute for Advanced Study, Princeton
Date: 
Friday 7th July 2017 - 10:00 to 11:00
Venue: 
INI Seminar Room 2
Abstract: 
We will give an overview of the UniMath language and library.
The video for this talk should appear here if JavaScript is enabled.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.
Presentation Material: 
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons