farkas

Prove a bounds-check fix eliminates every violating input — not just the one you found — with a certificate you replay without a solver

An independent JavaScript checker for certkit program-admission certificates. Exact BigInt rational arithmetic, zero dependencies, runs in the browser.

Re-check a patchproof elimination certificate in Rust. No solver, no Python, no shared code — a second implementation so 'verify without trusting us' means something.

A certificate format for machine-checked program admission, and an independent checker for it. Zero dependencies.