sci-mathematics/
coq-serapi

Serialization library and protocol for interaction with the Coq proof assistant

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

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 riscv sparc
0.15.0-r2 : 0 ~amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 riscv sparc

Package Metadata