Open
Description
This will allow external extensions (such as CoqPilot) to get the state at a given loc and try running some tactics (to automate proofs).
{{ message }}
No one assigned
No projects
None yet
No branches or pull requests
This will allow external extensions (such as CoqPilot) to get the state at a given loc and try running some tactics (to automate proofs).