coq-record-update

coq-record-update

https://github.com/tchajed/coq-record-update

Coq40

6 months ago

Reviews

Library to create Coq record update functions

Search similar apps

    License

    MIT License

    Share

    Library to create Coq record update functions

    Creator

    tchajed

    Related apps

    coq-tricks

    Tricks you wish the Coq manual told you

    Coq458

    9 months ago

    coq