coq-record-update
Library to create Coq record update functions
42 stars
8 watching
16 forks
Language: Coq
last commit: about 1 month ago
Linked from 2 awesome lists
coq-record-update Library to create Coq record update functions
coq-community/awesome-coq
uhub/awesome-coq