1 search result for "author:"David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau""

Showing 1 - 1
  1. squirrel
    Documentation
    The Squirrel Prover is a proof assistant for protocols, based on first-order logic and provides guarantees in the computational model
    David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau
    0.1
    Used by 0 other packages
    10 Feb 2022