Lectures related to Introduction to Proofs

Introduces Coq, covering defining propositions, proving theorems, and using tactics.

Explores geodesic convexity in metric spaces and its applications, discussing properties and the stability of inequalities.

Explores the axiom of separating the plane into two half-planes and the concept of interior points.

Explores harmonic forms on Riemann surfaces and the uniqueness of solutions to harmonic equations.

Explores sub/super harmonic functions and their applications in a theoretical context.

Explores fundamental solutions in partial differential equations, highlighting their significance in mathematical applications.

Explores subset properties, contraposition, and equivalence in linear algebra.

Covers the Zig Zag Lemma and the long exact sequence of relative homology.

Covers the proof of the explicit formula for the non-vanishing of the zeta function at the 1-line.