add code for browsing the dataset - 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

add code for browsing the dataset #12

Closed mirefek closed 2 years ago