1 search result for "tag:"logpath:RecordUpdate""

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-09-05
    Tej Chajed
    0.3.6
    MIT
    Used by 2 other packages
    08 Sep 2025