1 search result for "tag:"logpath:Cecoa""

Showing 1 - 1

coq-cecoa

No documentation

Implicit-complexity Coq library to prove that some programs are computable in polynomial time

category:Computer Science/Algorithms/Complexity keyword:implicit complexity keyword:polynomial time keyword:rewriting logpath:Cecoa date:2018-09-10

Hugo Férée Samuel Hym Micaela Mayero Jean-Yves Moyen David Nowak

1.0.0

CeCILL-A

Used by 0 other packages

13 Sep 2018