Coq has no record update syntax, nor does it create updaters for setting individual fields of a record. This small library automates creating such updaters. The library is based on a typeclass ...
This plugin is no longer supported, as Mkdocs has its functionality implemented in version 1.4. See the documentation.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback