Yves Bertot

http://www.inria.fr/sophia/members/Yves.Bertot [email protected]

Inria

Results 1 repositories owned by


Yves Bertot

plugin_tutorials

23

Stars

10

Forks

Watchers

A collection of small projects to illustrate how to write plugins for Coq