Proofs and reliable programming using Coq 2020 – Given by Yves Bertot
Proofs and reliable programming using Coq 2021 – Given by Yves Bertot
Proofs and reliable programming using Coq 2022 – Given by Yves Bertot
Verified Algorithms 2025 – Given by Yves Bertot