1 search result for "tag:"logpath:VerifiedExtraction""

Showing 1 - 1
  1. rocq-verified-extraction

    No documentation

    Verified extraction from Rocq to OCaml
    keyword:extraction category:Miscellaneous/Rocq Extensions logpath:VerifiedExtraction
    Yannick Forster Matthieu Sozeau Nicolas Tabareau
    1.0.0+9.1
    MIT
    Used by 0 other packages
    13 Mar 2026