next up previous
Next: 1 Introduction

The Omega Calculator and Library, version 1.00

Wayne Kelly, Vadim Maslov, William Pugh,
Evan Rosser, Tatiana Shpeisman, Dave Wonnacott





omega@cs.umd.edu