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

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-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 2 other packages
    08 Sep 2025