LICENSE
MANIFEST.in
README.md
pyproject.toml
src/skfd/__init__.py
src/skfd/api_v2.py
src/skfd/cli.py
src/skfd/config.py
src/skfd/py.typed
src/skfd/authoring/__init__.py
src/skfd/authoring/dsl.py
src/skfd/authoring/emit.py
src/skfd/authoring/formula.py
src/skfd/authoring/parsing.py
src/skfd/authoring/rules.py
src/skfd/authoring/typing.py
src/skfd/builder/__init__.py
src/skfd/builder/origin_adapter.py
src/skfd/builder/visitor.py
src/skfd/builder/visitor_lir.py
src/skfd/builder_v2/__init__.py
src/skfd/builder_v2/builder.py
src/skfd/core/__init__.py
src/skfd/core/context.py
src/skfd/core/contracts.py
src/skfd/core/diag.py
src/skfd/core/errors.py
src/skfd/core/lir.py
src/skfd/core/origin.py
src/skfd/core/peg.py
src/skfd/core/source_map.py
src/skfd/core/symbols.py
src/skfd/core/unit.py
src/skfd/doctor/alignment.py
src/skfd/doctor/check.py
src/skfd/doctor/sanity_ir.py
src/skfd/doctor/slice.py
src/skfd/driver/__init__.py
src/skfd/driver/discover.py
src/skfd/driver/graph.py
src/skfd/driver/runner.py
src/skfd/driver/script_runner.py
src/skfd/driver/types.py
src/skfd/examples/__init__.py
src/skfd/examples/minimal_diag.py
src/skfd/examples/minimal_ok.py
src/skfd/linker/__init__.py
src/skfd/linker/api.py
src/skfd/linker/emit/emit_mm.py
src/skfd/linker/passes/stage1_resolve.py
src/skfd/linker/passes/stage2_contracts.py
src/skfd/linker/passes/stage3_disjoint.py
src/skfd/linker/passes/stage4_topo_sort.py
src/skfd/linker/passes/stage5_scope.py
src/skfd/linker/passes/stage6_relocation.py
src/skfd/names/__init__.py
src/skfd/names/lexicon.py
src/skfd/names/resolver.py
src/skfd/proof/__init__.py
src/skfd/proof/core.py
src/skfd/proof/ir.py
src/skfd/verifier/__init__.py
src/skfd/verifier/aggregate.py
src/skfd/verifier/mmverify.py
src/skfd/verifier/shims/metamath.py
src/skfd/web/__init__.py
src/skfd/web/theorem_browser.py
tests/test_builder_port.py
tests/test_cli_errors.py
tests/test_cli_init.py
tests/test_cli_smoke.py
tests/test_m0p1_determinism.py
tests/test_m0p1_sanity.py
verifier/mmverify.py
verifier/shims/metamath.py