1 search result for "author:"Adrian Dapprich""

Showing 1 - 1
  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