2 search results for "author:"Greg Morrisett""

Showing 1 - 2
  1. coq-certicoq

    No documentation

    A Verified Compiler for Gallina, Written in Gallina
    Andrew Appel Yannick Forster Anvay Grover Joomy Korkut John Li et al.
    0.9+8.19
    MIT
    Used by 0 other packages
    04 Jun 2024
  2. rocq-certirocq

    No documentation

    A Verified Compiler for Gallina, Written in Gallina
    Andrew Appel Yannick Forster Anvay Grover Joomy Korkut John Li et al.
    0.9.1+9.1
    MIT
    Used by 0 other packages
    18 Mar 2026