#5 The History of Coq'Art - Yves Bertot

 
シェア
 

Manage episode 297490361 series 2951423
著作 Pedro Abreu の情報はPlayer FM及びコミュニティによって発見されました。著作権は出版社によって所持されます。そして、番組のオーディオは、その出版社のサーバから直接にストリーミングされます。Player FMで購読ボタンをタップし、更新できて、または他のポッドキャストアプリにフィードのURLを貼り付けます。

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

13 つのエピソード