You May Also Enjoy
Experimenting with ACL2 and Claude Code
4 minute read
Published:
TL;DR: Using only prompting with Claude Code, I created:
- 50+ ACL2 theorem proofs translated from Software Foundations
- An MCP server for ACL2 with stateful solver sessions
Specifications Don’t Exist
less than 1 minute read
Published:
Galois blog post: Link
What Works (and Doesn’t) Selling Formal Methods
less than 1 minute read
Published:
Galois blog post: Link
o3, Frontier Math, and the Future of Mathematics (Galois blog)
less than 1 minute read
Published:
Galois blog post: Link