Email Gateway (Aug 18 2022 at 13:39): Email Gateway (Aug 18 2022 at 13:39):From: Jens Doll <jd@cococo.de>
From Bogdan Grechuk --- convex functions formalization
... My first impression is that the proofs are too detailed, and the ...
The theory file which you attached has got a length of 18 pages! Could you
(too) spare out some details?
Jens
Last updated: May 03 2024 at 12:27 UTC