EasyChair Smart Slide
A Why3 framework for reflection proofs and its application to GMP's algorithms
A Why3 framework for reflection proofs and its application to GMP's algorithms