The purpose of these pages is to illustrate the basic concepts of PROOF by guiding the reader hands-on through the main concepts. ‹ PROOF GUI up Starting PROOF ›