Use nested generators to exchange capnp messages - Githubissues

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

Use nested generators to exchange capnp messages #24

Closed LasseBlaauwbroek closed 1 year ago