3 search results for "tag:"keyword:regular expressions""

Showing 1 - 3
  1. coq-regexp-brzozowski

    No documentation

    1.2
    MIT
    Used by 0 other packages
    14 Oct 2023
  2. coq-reglang

    No documentation

    1.2.1
    CECILL-B
    Used by 1 other packages
    19 Jan 2024
  3. coq-relation-algebra

    No documentation

    1.7.11
    LGPL-3.0-or-later
    Used by 1 other packages
    18 Sep 2024