Matthieu Sozeau

icon indicating a website link http://mattam.org icon indicating an email [email protected]

icon company Inria icon location Nantes

Results 2 repositories owned by Matthieu Sozeau

Coq-Equations

213
Stars
43
Forks
Watchers

A function definition package for Coq

verified publisher icon mattam82

Constructors

16
Stars
3
Forks
Watchers

Example Coq plugin

verified publisher icon mattam82