Build government systems on the law

Ground AI models in citable law

Power products on rules you don't rebuild

Simulate policy on real rules

loading…

Computable law for all.

Open, machine-readable encodings of the world's rules — starting with tax and benefit policy.

Open infrastructure for encoded law

us-ut/manual/dhhs/chip/102-2-verification — 102-2 Verification · Axiom

102-2 Verification

2 sections