Coverage Validation

What's possible

Build government systems on the law

Check a workflow Reconcile primary sources

Ground AI models in citable law

Ask about benefits and taxes

Power products on rules you don't rebuild

Simulate policy on real rules

Explore benefits cliffs Simulate household impacts

Axiom Citations Slides

Team Get started

loading…

Computable law for all.

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

Product

Axiom platform
Demos
Coverage
Validation
Citations
Documentation

Foundation

About
Team
Blog
Privacy

Connect

Contact
Get updates
hello@axiom.org

© 2026 Axiom Foundation · Doing the public-interest work

Open infrastructure for encoded law

us/form/irs/ty2013/i8863 — Instructions for Form 8863, Education Credits (2013) · Axiom

Axiom
US Federal
Form
IRS
Ty2013

Instructions for Form 8863, Education Credits (2013)

7 sections

Page 1
Page 2
Page 3
Page 4
Page 5
Page 6
Page 7