Waterproof: transforming a proof assistant into an educational tool
By Jim Portegies
Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence
By Cyril Cohen
[1245] Model theory, differential algebra and functional transcendence
By Amador Martin-Pizarro
On expansions of monadic second-order logic with power predicates - Lecture 1
By Joël Ouaknine