1 search result for "tag:"logpath:RegLang""

Showing 1 - 1

coq-reglang

No documentation

Representations of regular languages (i.e., regexps, various types of automata, and WS1S) with equivalence proofs, in Coq and MathComp

category:Computer Science/Formal Languages Theory and Automata keyword:regular languages keyword:regular expressions keyword:finite automata keyword:two-way automata keyword:monadic second-order logic logpath:RegLang date:2024-01-19

Christian Doczkal Jan-Oliver Kaiser Gert Smolka

1.2.2

CECILL-B

Used by 1 other packages

10 May 2025