#5 The History Of Coq'Art - Yves Bertot Type Theory Forall podcast

Artwork

Science Tech Pedro Abreu Type Theory Academia Programming Language

Indhold leveret af Pedro Abreu. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Pedro Abreu eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

Type Theory Forall « »
#5 The History of Coq'Art - Yves Bertot

3+ y ago 1:11:46

Del

MP3•Episode hjem

Indhold leveret af Pedro Abreu. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Pedro Abreu eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

In this episode we interview Yves Bertot and we talk about the history behind his contribution with Pierre Castéran on writing Coq’Art. What is Yves’ role in the Coq Team, how the team works and what are the sort of contributions they accept.

Links:

Yves email: yves.bertot@inria.fr

Affichage et manipulation interactive de formules mathématiques dans les documents structurés - Check figure 15 for an example on how Yves’ tools would build trees internally

A video showing his tool in practice, doing proofs with mouse clicks

A Genereic Approach to Building User Interfaces for Theorem Provers

… continue reading

82 episoder

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

Artwork

#5 The History of Coq'Art - Yves Bertot

Type Theory Forall

27 subscribers

published 3+ y ago

Del

MP3•Episode hjem

Indhold leveret af Pedro Abreu. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Pedro Abreu eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

In this episode we interview Yves Bertot and we talk about the history behind his contribution with Pierre Castéran on writing Coq’Art. What is Yves’ role in the Coq Team, how the team works and what are the sort of contributions they accept.

Links:

Yves email: yves.bertot@inria.fr

Affichage et manipulation interactive de formules mathématiques dans les documents structurés - Check figure 15 for an example on how Yves’ tools would build trees internally

A video showing his tool in practice, doing proofs with mouse clicks

A Genereic Approach to Building User Interfaces for Theorem Provers

… continue reading

82 episoder

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

Alle episoder

×

Velkommen til Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

Lyt til 500+ emner