To test if all the axioms work we have created a Lua script that will test all the axioms.

The script can be downloaded here. ('Right click -> save as' to save the file to your hard drive, else open it in the browser and copy-paste the text)

Simply open the script using OOPS, select ‘File -> Open’ and select the script file.

By changing the prover in ‘Run -> Default Prover -> ‘ select an axiom system and execute (Ctrl+E) the script to check the selected axiom system.

A test run for the D axiom: