Report - Proof Development with Ω mega 2 Is Irrationalpage.mi.fu-berlin.de/cbenzmueller/papers/C12.pdf · natural language presentation of the proof via P. rex (see Fig. 1 and 2). When inspecting

Please pass captcha verification before submit form