conf.researchr.org / Vincent Martin
Not registered as user yet
Name:Vincent Martin
Contributions
CPP 2017 | Author of A Coq Formal Proof of the Lax–Milgram theorem within the CPP-track |
Not registered as user yet
Contributions
CPP 2017 | Author of A Coq Formal Proof of the Lax–Milgram theorem within the CPP-track |