new triples

parent f0b07884
Version|coq-reglang|1
Author|coq-reglang|Christian Doczkal <christian.doczkal@ens-lyon.fr>
License|coq-reglang|CeCILL-B
Keyword|coq-reglang|regular languages
Keyword|coq-reglang|regular expressions
Keyword|coq-reglang|finite automata
Keyword|coq-reglang|two-way automata
Keyword|coq-reglang|monadic second-order logic
Category|coq-reglang|Computer Science/Formal Languages Theory and Automata
Homepage|coq-reglang|https://github.com/chdoc/coq-reglang
Depends|coq-reglang|ocaml
Depends|coq-reglang|coq
Depends|coq-reglang|coq-mathcomp-ssreflect
......@@ -25321,4 +25321,19 @@
<rdf:Description rdf:about="cic:/RegLang/wmso/zero_at.con.body">
<ulo:internal-size>1110</ulo:internal-size>
</rdf:Description>
<rdf:Description rdf:about="coq-reglang">
<ulo:Version>1</ulo:Version>
<ulo:Author>Christian Doczkal <christian.doczkal@ens-lyon.fr></ulo:Author>
<ulo:License>CeCILL-B</ulo:License>
<ulo:Keyword>regular languages</ulo:Keyword>
<ulo:Keyword>regular expressions</ulo:Keyword>
<ulo:Keyword>finite automata</ulo:Keyword>
<ulo:Keyword>two-way automata</ulo:Keyword>
<ulo:Keyword>monadic second-order logic</ulo:Keyword>
<ulo:Category>Computer Science/Formal Languages Theory and Automata</ulo:Category>
<ulo:Homepage>https://github.com/chdoc/coq-reglang</ulo:Homepage>
<ulo:Depends>ocaml</ulo:Depends>
<ulo:Depends>coq</ulo:Depends>
<ulo:Depends>coq-mathcomp-ssreflect</ulo:Depends>
</rdf:Description>
</rdf:RDF>
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