coq-record-update

coq-record-update

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

Coq42

3 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