TY  - RPRT
TI  - The Lax-Milgram Theorem. A detailed proof to be formalized in Coq
AU  - François Clément
AU  - Vincent Martin
PY  - 2016
UR  - https://arxiv.org/abs/1607.03618
ID  - 1607.03618
ER  -