The tableau ships with a machine-checkable proof of correctness attached; runtime loads the proof, verifies it in microseconds, then executes the tableau.
Before creating a Fixed Function Tableau, you need to prepare your data. This includes: fixed function tableau
Below is a formal technical paper structured around the interpretation, as this is where the term "Tableau" is most rigorously defined as a logical method. The tableau ships with a machine-checkable proof of