Announcement
&Truth emerges from stealth to build tools for verifying software
The company says it aims to prove programs meet precise requirements using Lean proofs anyone can independently check.
TLDR
&Truth says it has emerged from stealth and is building tools to prove programs meet precise requirements, with Lean proofs anyone can independently check. The company links the effort to AI writing more code and says it wants verified software to become the norm across languages and applications.
Combined views
—
4 Sources, first seen ago
