blob: c564105c9c9869dfc034028cc33ae495528a23a5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
<!-- Thank you for reporting a bug to Coq! -->
#### Description of the problem
<!-- If you can, it's helpful to provide self-contained example of some code
that reproduces the bug. If not, a link to a larger example is also helpful.
You can generate a shorter version of your program by following these
instructions: https://github.com/coq/coq/wiki/Coqbot-minimize-feature. -->
#### Coq Version
<!-- You can get this information by running `coqtop -v`. If relevant, please
also include your operating system. -->
|
