This source package contains 99 files, totaling 1,262,545 bytes before ZIP compression.
The list below is exhaustive. SHA256SUMS covers every file except itself.
No symlinks, saved experiment outputs, credentials, Git metadata, model weights,
or generated indexes/graphs are included. Benchmark data are public task inputs.
Verify after extraction with sha256sum -c SHA256SUMS from the package root.
| File | Bytes |
|---|---|
| .gitignore | 163 |
| CONTENTS.md | 8,069 |
| GUIDE.zh-CN.md | 1,746 |
| LICENSE | 11,357 |
| LICENSE-MIT | 1,079 |
| NOTICE | 921 |
| PAPER_SETTINGS.md | 3,374 |
| README.md | 3,058 |
| REPRODUCING.md | 7,572 |
| SHA256SUMS | 9,412 |
| THIRD_PARTY_NOTICES.md | 1,624 |
| assets.lock.json | 2,587 |
| config.example.yaml | 421 |
| config.yaml | 1,068 |
| pyproject.toml | 1,245 |
| requirements-test.txt | 259 |
| requirements.txt | 737 |
| File | Bytes |
|---|---|
| benchmark/FATE-H.LICENSE | 663 |
| benchmark/FATE-H.jsonl | 168,074 |
| benchmark/LeanIMO.LICENSE | 536 |
| benchmark/LeanIMO.csv | 260,418 |
| benchmark/MathlibMPR.json | 117,997 |
| benchmark/MathlibMPR_Prop_ids.txt | 1,124 |
| benchmark/MathlibQR.json | 115,281 |
| benchmark/MathlibQR_shared171.json | 7,233 |
| File | Bytes |
|---|---|
| scripts/analyze_proving.py | 22,163 |
| scripts/prepare_dependencies.py | 2,575 |
| scripts/reproduce_mathlibqr.py | 4,298 |
| scripts/reproduce_premise_costed.py | 22,351 |
| scripts/reproduce_proving.py | 32,828 |
| scripts/serve.sh | 714 |
| scripts/smoke_graph.py | 1,787 |