Not a page that claims what the tools can do. A set of worked demonstrations, each run through the same engine that guards the moat, each carrying a permanent seal you can open and re-check yourself. The engine verifies a provided derivation, line by line; it never generates the answer.
A volume of the Concordance — the whole book/project. See it bound into the compiled book →