Proper parameters for the visualization webserver - 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

Proper parameters for the visualization webserver #15

Closed LasseBlaauwbroek closed 2 years ago

LasseBlaauwbroek commented 2 years ago

This PR depends on #13