Sequent Blog
sequent.inc
Actively hiring
Cryptocurrencies
Smart Contracts & Security
Blockchain & Crypto
Follow
Overview
News
Technologies
Salaries
Products
People
Growth
Financials
Overview
Sequent builds Alan, a prover agent for deep formal verification of smart contracts: machine-checked, unbounded, replayable proofs. Don.
News
Why Higher-Order Logic Is a Good Foundation for Deep Verification
Dependent type theory can express more. But deep verification asks a different question: where does a foundation put its complexity, and how much of it must be trusted? Why Sequent builds on classical higher-order logic and HOL4.
Read more
Report