3 search results for "author:"Adam Chlipala""

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-chapar

    No documentation

    A framework for verification of causal consistency for distributed key-value stores and their clients in Coq
    category:Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems keyword:causal consistency keyword:key-value stores keyword:distributed algorithms keyword:program verification logpath:Chapar date:2023-12-28
    Mohsen Lesani Christian J. Bell Adam Chlipala
    8.17.0
    MIT
    Used by 0 other packages
    28 Dec 2023
  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 0 other packages
    14 Oct 2025