Next: Menu Options, Previous: Options, Up: Top [Contents]
This chapter describes the basic usage of GNU Aris.
| • Startup: | When the program is started. | |
| • Connectives: | Using connectives. | |
| • Adding: | Adding sentences to the proof. | |
| • Selecting: | Selecting sentences. | |
| • Syntax: | The syntax that Aris uses. |