ΠΑΝΑΓΙΩΤΟΠΟΥΛΟΣ ΓΕΩΡΓΙΟΣ, Formalized Proofs of the Extension of Consistent Approximation Fixpoint Theory, 2024,