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
No pages have linked to this URL yet.
Log in or sign up to submit feeds.