6 citations · 7 across the 7 of their papers we have counts for
1 paper · 1 filter
Emmanuel Polonowski
DBGen is a tool for Coq developers. It takes as input the definition of a term structure with bindings annotations and generates definitions and properties for lifting and substitu…