Login / Signup

A Plugin to Export Coq Libraries to XML.

Claudio Sacerdoti Coen
Published in: CICM (2019)
Keyphrases