←BackTtchajed/coq-record-update0Copy as MarkdownView on GitHub↗0 stars·0 forks·0 viewsCoq Record UpdateFeaturesLibraries - Listed in the “Libraries” section of the Awesome Coq awesome list.