conf.researchr.org / Pierre Crégut
Registered user since Thu 10 Dec 2020
Name:Pierre Crégut
Affiliation:Orange Labs
Contributions
| CPP 2021 | Author of Developing and certifying Datalog optimizations in Coq/MathComp within the CPP 2021-track |
Registered user since Thu 10 Dec 2020
Contributions
| CPP 2021 | Author of Developing and certifying Datalog optimizations in Coq/MathComp within the CPP 2021-track |