https://theorem.dev/blog/lf-lean/ 2026-02-05T00:00:00+00:00 https://theorem.dev/blog/ 2026-02-05T00:00:00+00:00 https://theorem.dev/ 2026-02-05T00:00:00+00:00 https://theorem.dev/blog/catching-bugs-with-fractional-proofs/ 2025-10-07T00:00:00+00:00 https://theorem.dev/demos/asm-pbt/ 2025-05-29T00:00:00+00:00 https://theorem.dev/demos/ 2025-05-29T00:00:00+00:00 https://theorem.dev/lf-lean/ 2025-01-14T00:00:00+00:00 https://theorem.dev/sfbench-pt1/ 2025-01-14T00:00:00+00:00 https://theorem.dev/contact/ 2024-06-07T00:00:00+00:00 https://theorem.dev/teams/ 2024-06-07T00:00:00+00:00 https://theorem.dev/careers/ https://theorem.dev/waitlist/ https://theorem.dev/research/