Our earliest capture with readable facts. This is our first observation, not when the company introduced these things. These website claims are not independently verified.
How it described itself
Make it provably correct, down to the machine level
Cajal builds Tau, a prover that verifies your compiled binary with mathematical certainty. Make your mission-critical software provably correct, down to the machine level.
All facts above belong to this capture. Unlisted fields mean we have no readable observation, not that they were absent.
How it describes itself
Similar headlines are grouped together. The quote shown is from the last capture in each group, not necessarily the exact wording throughout that period.
Seen November 2026 · 1 capture · latest observed messagingReliable speedups for large workloads
Cajal builds Tau: faster binaries for large workloads. Tau makes the routines that use most of your compute run faster on your machines, and proves in Lean that the new binary behaves exactly like the
Seen October 2026 · 1 captureTransformative AI is here. Now what?
Cajal builds Tau, a prover that verifies your compiled binary with mathematical certainty. Make your mission-critical software provably correct, down to the machine level.
July 2026 – July 2026 · 2 capturesMake it provably correct, down to the machine level
Cajal builds Tau, a prover that verifies your compiled binary with mathematical certainty. Make your mission-critical software provably correct, down to the machine level.