package coq-regexp
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Regular Expression
Install
Dune Dependency
Authors
Maintainers
Sources
v8.9.0.tar.gz
md5=e09790c6c4a37daa8a6a9a12aeedac13
Description
The Library RegExp is a Coq library for regular expression. The implementation is based on the Janusz Brzozowski's algorithm ("Derivatives of Regular Expressions", Journal of the ACM 1964). The RegExp library satisfies the axioms of Kleene Algebra. The proofs are shown in the library.
Tags
keyword: regular expressions keyword: Kleene algebra category: Computer Science/Formal Languages Theory and AutomataPublished: 07 Dec 2019
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page