Skip to content

Export API to run tactics at a given loc - #964

Draft
rtetley wants to merge 9 commits into
mainfrom
coq-pilot
Draft

Export API to run tactics at a given loc#964
rtetley wants to merge 9 commits into
mainfrom
coq-pilot

Conversation

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant