Presentation on ProofMode 08 December 2021 A solid overview of the ProofMode concept and project Read More