Sandbox

From Wikiproofs
Jump to: navigation, search
Sandbox
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 User interface and User module namespaces.

Sandbox pages
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.