3 search results for "author:"Andres Erbsen""

Showing 1 - 3
  1. coq-bbv

    No documentation

    An implementation of bitvectors in Coq.
    Tej Chajed Haogang Chen Adam Chlipala Joonwon Choi Andres Erbsen et al.
    1.5
    MIT
    Used by 1 other packages
    07 Mar 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.6
    MIT OR Apache-2.0 OR BSD-1-Clause
    Used by 0 other packages
    12 Nov 2025
  3. coq-rupicola

    No documentation

    Gallina to imperative code compilation, currently in design phase
    logpath:Rupicola
    Clément Pit-Claudel <clement.pitclaudel@live.com> Jade Philipoom Dustin Jamner Andres Erbsen Adam Chlipala
    0.0.11
    MIT
    Used by 1 other packages
    14 Oct 2025