SerAPI

swMATH32314MaRDI QIDQ44025FDOQ44025

Author name not available (Why is that?)

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

Source code repository: https://github.com/ejgallego/coq-serapi

Cited In (1)

• A plugin to export Coq libraries to XML

This page was built for software: SerAPI