Luna-Flow/QED

This documentation tracks the current branch state.

Repository Positioning

Kernel-first theorem prover project with a formal specification and controlled frontend.

Documentation Layout

• README.md for the repository narrative and release baseline.
• doc_standard.md for the documentation contract.
• Module or subsystem folders with api.md, tutorial.md, and design.md.

Module Overview

• kernel: Implemented around src/kernel.
• parser: Implemented around src/parser.
• tactics: Implemented around src/tactics.
• prover: Implemented around src/prover.
• spec: Implemented around doc/qed_formal_spec.typ.

Documentation Entry Points

• API Reference: kernel
• API Reference: parser
• API Reference: tactics
• API Reference: prover
• API Reference: spec