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

Mirek/polish seq #20

Closed mirefek closed 1 year ago

mirefek commented 1 year ago

Replace a lot of Seq classes with a generic TupleLike class

LasseBlaauwbroek commented 1 year ago

Looks good! Thanks. Merging.