|This page allows you to carry out experiments. Note that JHilbert behaves differently depending on whether it is in the Interface namespace or the main namespace. Hence the sandbox pages.
You may also carry out your experiments in the
|Wikiproofs:Sandbox||General sandbox with no interaction with the JHilbert parser|
|Interface:Sandbox||Sandbox interpreted as an interface module by JHilbert|
|Sandbox||Sandbox interpreted as a proof module by JHilbert|
Hello, if you are here for Tau day, you can edit this page to start in on the exercises describe at the tau day page.