Abstract: I will present formal proofs of selected results discussed in preceding seminar talks using the Coq library UniMath.

Abstract: Last week we explained the geometric context of the problem of describing the moduli space of Special Lagrangian deformations of a compact manifold. The analytic details were more or less straight-forward as the elliptic theory of PDEs in a compact manifold is very complete and in some sense canonical. In this second and final part of my talk I will consider SL-submanifolds in $\mathbb{C}^{n}$, therefore the SL-submanifolds to be considered shall be non-compact and/or singular. I will survey the elliptic theories available in singular settings, and I will focus on the case of edge-singularities, the next level of singularities after conical. I will conclude the talk with a theorem describing the moduli space of SL-deformations with boundary conditions for a SL submanifold with edge-singularities.

Abstract: TBA