Project name:

coq-serapi

Initial author(s):

Emilio J. Gallego Arias, Clément Pit-Claudel, Karl Palmskog

Current URL:

https://github.com/ejgallego/coq-serapi

Kind:

Coq Tooling

License:

Coq's LICENSE

Description:

Machine-Friendly, Data-Centric Serialization for Coq

Status:

maintenance only / unmaintained

All use cases are better served by coq-lsp suite of tools, however I'm opening this issue to see if there is community interest into maintaining SerAPI.

New maintainer:

looking for volunteers