Project Summary

Project Information

Field Value
Name PNML to Coq
Description PNML to Coq Converter
Homepage http://pnml.lip6.fr/pnml2coq/

Project Organization

Field Value
Name Université Paris 13 / CNRS UMR 7030 (LIPN / LCR)
URL http://www.lipn.fr/

Build Information

Field Value
GroupId fr.lipn.lcr.pnml
ArtifactId fr.lipn.lcr.pnml2coq
Version 1.0.1
Type jar
JDK Rev 1.7