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