We’re a non-profit limited company focusing on applying category theory to AI verification. Our tools are dependently typed theories, theorem provers, and whiteboards.
People
Seminar
