2 search results for "author:"Google Inc.""

Showing 1 - 2
  1. 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
  2. coq-rewriter

    No documentation

    Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting, experimental and tailored for use in Fiat Cryptography
    logpath:Rewriter
    Google Inc. Massachusetts Institute of Technology
    0.0.12
    MIT OR Apache-2.0 OR BSD-1-Clause
    Used by 1 other packages
    06 Dec 2024