conf.researchr.org / Jean-François Monin
Not registered as user yet
Name:Jean-François Monin
Affiliation:Verimag
Contributions
CPP 2021 | Author of Developing and certifying Datalog optimizations in Coq/MathComp within the CPP 2021-track |
Not registered as user yet
Contributions
CPP 2021 | Author of Developing and certifying Datalog optimizations in Coq/MathComp within the CPP 2021-track |