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

Showing 1 - 1
  1. coq-elm-extraction

    No documentation

    Coq extraction to Elm
    keyword:elm keyword:extraction logpath:ElmExtraction
    The COBRA team
    0.1.0
    MIT
    Used by 0 other packages
    11 Jul 2024