2 search results for "author:"Adrian Dapprich""

Showing 1 - 2
  1. coq-autosubst-ocaml

    No documentation

    OCaml implementation of Autosubst 2 for Coq
    Adrian Dapprich
    1.1+8.20
    MIT
    Used by 0 other packages
    17 Jan 2025
  2. rocq-autosubst-ocaml

    No documentation

    OCaml implementation of Autosubst for Rocq
    Adrian Dapprich
    1.1+9.0
    MIT
    Used by 0 other packages
    17 Apr 2025