ABOUT SEQUENT ↓
Sequent is verification infrastructure for the agentic age. AI writes code fast; formal verification proves it does what it should. Sequent builds Alan, a prover agent that reads your code, drafts a formal specification with you, and produces machine-checked, unbounded, replayable proofs that the code does what the spec says, for every input and every execution. The focus today is smart contracts; the mission covers all software. Founded by Charles Cooper, lead maintainer of Vyper, and Ramana Kumar, co-creator of the formally verified CakeML compiler and formerly an AI safety researcher at DeepMind.
MORE INFO ↓
LinkedIn: https://www.linkedin.com/company/sequent-inc/
Website: https://sequent.inc/
