Next: Terms, Previous: Top, Up: Top
This manual is for Aris, a sequential proof program, designed to assist anyone interested in solving logical proofs.