An online demo of Tactician

Back to Tactician's website

Below, we provide a toy example for how you can use Tactician in your development. This page is a fully-fledged version of Coq, based on jsCoq. You can interactively navigate through this document by moving your cursor through the document.

Back to Tactician's website