search

coq-tactician / coq-tactician-api

An API for interfacing with Coq through Tactician by external agents
https://coq-tactician.github.io/api/introduction
MIT License
2 stars 1 forks source link

Dep loader config #1

Closed LasseBlaauwbroek closed 2 years ago

LasseBlaauwbroek commented 2 years ago

This is starting to look quite good to me! Quite a bit of effort, but probably worth it. I think we can get rid of the coq-tactician-reinforce.opam.locked file and related CI tests. And then this looks like we can merge it!