Damien Pous

icon indicating a website link http://perso.ens-lyon.fr/damien.pous/

icon company CNRS, ENS Lyon icon location France

Results 1 repositories owned by Damien Pous

relation-algebra

41
Stars
15
Forks
Watchers

Relation algebra library for Coq

verified publisher icon damien-pous