3 search results for "author:"Zoe Paraskevopoulou""

Showing 1 - 3
  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. coq-fiat-crypto

    No documentation

    Cryptographic Primitive Code Generation by Fiat
    logpath:Crypto
    Andres Erbsen <andreser@mit.edu> Google Inc. Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com> Massachusetts Institute of Technology Zoe Paraskevopoulou <zoe.paraskevopoulou@gmail.com>
    0.1.3
    MIT OR Apache-2.0 OR BSD-1-Clause
    Used by 0 other packages
    22 Apr 2024
  3. coq-quickchick

    No documentation

    Randomized Property-Based Testing for Coq
    keyword:testing logpath:QuickChick date:2025-02-28
    Leonidas Lampropoulos Zoe Paraskevopoulou Maxime Denes Catalin Hritcu Benjamin Pierce et al.
    2.1.0
    MIT
    Used by 3 other packages
    28 Feb 2025