A Proof Environment for Arithmetic with the Omega Rule.

Siani Baker, Alan Smaill

Browse the full AISC paper archive.