1 search result for "tag:"date:2025-08-23""

Showing 1 - 1
  1. 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-08-23
    Tej Chajed
    0.3.5
    MIT
    Used by 2 other packages
    25 Aug 2025