Proofs and Programs: Advanced Tools, Linear Logic and Quantitative Semantics, LMFI M2, Academic Year 2024-2025 Course presentation.