1 search result for "author:"The Peregrine team""

Showing 1 - 1
  1. rocq-cakeml-extraction

    No documentation

    CakeML backend for Peregrine
    keyword:extraction logpath:CakeML
    The Peregrine team
    0.1.0
    MIT
    Used by 0 other packages
    13 Mar 2026