GitHub repository: samuelgruetter/coq-record-update
Description: Library to create Coq record update functions