GitHub repository: tchajed/coq-record-update
Primary language: Rocq Prover
Created: 2018-07-23T20:48:19Z
Description: Library to create Coq record update functions