program-extraction

There are 2 repositories under program-extraction topic.

  • reilabs/lampe

    Extracting the semantics of Noir to Lean for formal verification

    Language:Lean19271

  • miyamok/minlog

    Proof assistant for realizability logic TCF

    Language:Scheme1100