Skip to main content

Navigation Icons in the header

SoftOption ®

Breadcrumb

Home
Documentation

Deriver Documentation

11/6/2020

Intelligent Editing
Rewrite Rules
The Drawing Panel
The Proof Panel
Formation Rules for System IV ['Gentzen']
Rules for System I
Rules for System II
Using Tactics [Generic]
Tactics for System I
Trees

Book traversal links for Deriver Documentation

‹ Configuring the Deriver Application Using the Preferences
Up
Intelligent Editing ›

Navigation

Show — Navigation Hide — Navigation

Browse
Search
Site map

What do the Bergmann, Default, Gentzen, Howson, etc. systems mean?
Deriver running in a web page in a web browser (no installation required)
Downloading and launching the stand alone Java Application
Fast Start on the Deriver web or standalone Application (for Instructors)
Configuring the Deriver Application Using the Preferences
Deriver Documentation
Writing Symbols (and Alternative Symbols)
Checking your computer is configured correctly
Deriver Application Menus

Copyright SoftOption ® Ltd. (New Zealand). Email: support@SoftOption.Us