prover チュートリアル

このページは、このモジュールの実用的な利用フローを説明する出発点です。 Luna-Flow/QED の prover を対象にします。

推奨フロー

まずリポジトリ README と prover の API 文書を読む。
src/prover にあるコンストラクタまたは入口から始める。
境界挙動へ依存する前に、既存のテストや例で意味論を確認する。

実践ガイド

内部ヘルパーではなく、文書化された入口を優先する。
ランタイム・数値・証明状態の前提を下流コードに明示する。