SerAPI

MaRDI QIDQ44025swMATHFDO

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

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

Cited in

(5)

• GeoCoq
• JSNice
• PCM library
• Roosterize
• A plugin to export Coq libraries to XML

This page was built for software: SerAPI