SerAPI

From MaRDI portal

Software:44025

Jump to:navigation, search

swMATH32314MaRDI QIDQ44025

No author found.

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

Related Items (1)

A plugin to export Coq libraries to XML

This page was built for software: SerAPI

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:44025&oldid=29513391"