https://formal.land/blog/2025/01/21/designing-a-coding-assistant-for-rocq #50
giscus[bot]
bot
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
https://formal.land/blog/2025/01/21/designing-a-coding-assistant-for-rocq
This blog post provides a review of the existing literature on agent-based systems for automated theorem proving, while presenting a general approach to the problem. Additionally, it serves as an informal specification outlining the requirements for a future system we intend to develop.
https://formal.land/blog/2025/01/21/designing-a-coding-assistant-for-rocq
Beta Was this translation helpful? Give feedback.
All reactions