6 search results for "author:"Tej Chajed""

Showing 1 - 6
  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-iris-string-ident

    No documentation

    Add support for Gallina names in intro patterns to the Iris Proof Mode
    category:Miscellaneous/Coq Extensions keyword:iris logpath:iris_string_ident
    Tej Chajed <tchajed@mit.edu>
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    23 Jul 2020
  3. coq-record-update

    No documentation

    Generic support for updating record fields in Coq
    category:Computer Science/Data Types and Data Structures keyword:record logpath:RecordUpdate date:2025-09-05
    Tej Chajed
    0.3.6
    MIT
    Used by 1 other packages
    08 Sep 2025
  4. rocq-linux-process-semantics

    No documentation

    A Rocq model of a Linux process that runs a RISC-V binary (all packages)
    Tej Chajed
    0.0.1
    MIT
    Used by 0 other packages
    24 Oct 2026
  5. rocq-linux-process-semantics-core

    No documentation

    A Rocq model of a Linux process that runs a RISC-V binary
    Tej Chajed
    0.0.1
    MIT
    Used by 3 other packages
    24 Oct 2026
  6. rocq-linux-process-semantics-examples

    No documentation

    Example proofs for rocq-linux-process-semantics
    Tej Chajed
    0.0.1
    MIT
    Used by 1 other packages
    24 Oct 2026