Proof Development with Omega-MEGA: sqrt(2) Is Irrational.

Jrg H. Siekmann, Christoph Benzmller, Armin Fiedler, Andreas Meier, Martin Pollet

Browse the full LPAR paper archive.