2 search results for "author:"Jan-Oliver Kaiser""

Showing 1 - 2
  1. coq-mtac2

    No documentation

    Typed tactic language for Coq
    Beta Ziliani <beta.ziliani@gmail.com> Jan-Oliver Kaiser <janno@mpi-sws.org Robbert Krebbers <mail@robbertkrebbers.nl> Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>
    1.4+9.0
    MIT
    Used by 0 other packages
    24 Oct 2025
  2. 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