4 Photos and videos
Feb 11
1/ We're open-sourcing LF-Lean: a verified Lean translation of 6K lines of Rocq from the Logical Foundations textbook, produced by AI with 2 person-days of human coding vs the 2.75 person-years it would have been before AI.
2
11
39
3,522
Feb 11
9/ As AI reshapes software engineering, we get to rethink long-accepted developer limitations.
Come build the future of verified software engineering with us @theoremlabs → theorem.dev/careers
1
10
864
Feb 11
10/ Read the full post: theorem.dev/blog/lf-lean/
CC @diagram_chaser @rajashree @jeffreychang12_ @harshikaabot @vaidehiagrwalla @0xrobertzhang @justanotherlaw and more!
11
650
Theorem retweeted
5 Dec 2025
Theorem is hosting bouldering at NeurIPS on Saturday! 🧗♀️🧗♂️
Come chat with us about d/acc and verifying programs that are OOMs bigger than what anybody (human or AI) can
Link below
6
5
26
5,601
Theorem retweeted
10 Oct 2025
We automatically generated the unit test that would’ve caught @AnthropicAI’s top-K compiler bug without relying on their bug reproducer code.
Most testing pipelines never hit rare bugs until they fail in production. Ours do.
4
10
62
6,081
Theorem retweeted
21 May 2025
Theorem (@theoremlabs) is an AI-coding IDE for mission-critical software. They're making program verification 10,000 times faster, so your systems code does exactly what you asked for.
Congrats on the launch, @diagram_chaser and @rajashree!
ycombinator.com/launches/NZA…
9
22
165
35,831