Aris Manual

Next: , Previous: Top, Up: Top


1 Introduction

This manual is for Aris, a sequential proof program, designed to assist anyone interested in solving logical proofs.