ProofRun links

Everything in one place — source, downloads, docs, and a way to reach the maintainer.

GitHub repository
Source code, README, issues, and discussions
→
Releases
Prebuilt binaries for Linux, macOS, and Windows
→
Documentation
Full README: commands, config, fingerprints, receipts
→
Case study
How adversarial review caught a silent zero-test PASS before v1
→
Issues
Report a bug or request a feature
→
Contact
[email protected]
→