Divergence and unique solution of equations

Joint work with Daniel Hirschkoff and Davide Sangiorgi

• Current version of the conference paper
• Sources and instructions for the coq source