Section 501(c)(3) · Private Operating Foundation
The Institute for Applied Ontological Mathematics
Our Technology is Ontological. Our Engineering is Constructive.
The Institute publishes formal-methods mathematics — kernel-checked theorems, executable mirrors, and the substrate that ties them together — into the public scholarly commons. Most readers owe no fee. The Foundation exists to keep the chain open.
We humbly thank the collective intelligence of humanity for providing the technology and culture we cherish. We do our best to properly reference the authors of the works utilized herein, though we may occasionally fall short. Our formalization acts as a reciprocal validation — confirming the structural integrity of their original insights while securing the foundation upon which we build. In truth, all creative work is derivative; we stand on the shoulders of those who came before, and our contributions are simply the next link in an unbroken chain of human ingenuity.
— IAOM Acknowledgment, recurring across published papers
Discover ⇒ Build ⇒ Grow ⇒ Learn ⇒ Teach ∞
The Foundation's constructive cycle. Each step is a decision the next agent — human or otherwise — can audit.
01
Discover
Find the mathematical structure already present in the world.
02
Build
Construct it as a kernel-checked artifact, not as folklore.
03
Grow
Compose it with the rest of the chain so leverage accrues.
04
Learn
Let the published artifact teach back what survives.
05
Teach
Pass the construction forward, free of charge, into the commons.
Free for academic, individual & small-business use
Acknowledge & use IAOM work
No fee, no royalty, no ongoing obligation for academic researchers, students, individuals, and small businesses with under USD $1,000,000 lifetime gross revenue per Product. Tell us briefly which paper or project you're engaging with and how you intend to use the work; the acknowledgment is how we stay auditable as the chain continues through you.
How to engage
If you'd like to look at the Lean source, verify a specific theorem, build on the formalization in your own work, propose a collaboration, request the Lean proofs and supporting tooling for a published paper, or discuss anything else about the work, please write to IAOM@apoth3osis.io. The Institute reads every message and responds.