ZARZA We are Zarza, the prestigious firm behind major projects in information technology.

Big Proof & Education

25/08/2017 1h 47min

Listen "Big Proof & Education"

Descargar episodio Ver en sitio original

Episode Synopsis

Avigad, J
Monday 24th July 2017 - 15:30 to 17:30

More episodes of the podcast Big proof

Automated theorem proving in first-order logic: from superposition to instantiation 25/08/2017

Categorical structures for type theory in univalent foundations" 28/07/2017

A MathComp Library tour 25/08/2017

A simple prover in the browser 26/07/2017

A tutorial introduction to Agda 21/07/2017

A tutorial introduction to the PVS proof assistant 21/07/2017

A Verified ODE Solver and Smale's 14th Problem 24/07/2017

Accessible Reasoning with Diagrams: Ontology Debugging 26/07/2017

After Math: Reasoning, Computing, and Proof in the Postwar United States (via Skype) 26/07/2017

An Industrially Useful Prover 24/07/2017

Ver todos los episodios