Documentation

Everything you need to get started with Fanal — from installation to writing your first verified quantum program.

Quick Start

curl https://elan.readthedocs.io/en/latest/elan-init.sh -sSf | sh

git clone https://github.com/LucianoXu/Fanal.git
cd Fanal

lake build Fanal

After building, explore the FanalExample/ directory for verified quantum programs you can modify and experiment with.

The comprehensive Fanal reference book, built with Verso. Covers the design philosophy, Dirac notation encoding, and tactic reference.

Project overview, build instructions, and contribution guidelines.

Auto-generated documentation for every public definition, lemma, and tactic in Fanal.

Live dashboard tracking the auto-formalization pipeline — see which textbook results are queued, in progress, or verified.