library.xml

parent b57ecd6e
<!-- XML HEADERS HERE -->
<Package Name="coq-reglang">
<Version>1</Version>
<Author>Christian Doczkal &lt;christian.doczkal@ens-lyon.fr&gt;</Author>
<License>CeCILL-B</License>
<Keyword>regular languages</Keyword>
<Keyword>regular expressions</Keyword>
<Keyword>finite automata</Keyword>
<Keyword>two-way automata</Keyword>
<Keyword>monadic second-order logic</Keyword>
<Category>Computer Science/Formal Languages Theory and Automata</Category>
<Homepage>https://github.com/chdoc/coq-reglang</Homepage>
<Depends>ocaml</Depends>
<Depends>coq</Depends>
<Depends>coq-mathcomp-ssreflect</Depends>
</Package>
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment