Changes
Page history
Update coq bugs
authored
Sep 29, 2025
by
Robbert Krebbers
Show whitespace changes
Inline
Side-by-side
coq-bugs.md
View page @
6dbeb9d3
...
...
@@ -33,7 +33,6 @@ Priority [HIGH] means that this actively affects how we do things and we have no
# Coq Bugs recently fixed / features recently introduced that we are not (yet) taking advantage of
*
8.16:
[
#13969
](
https://github.com/coq/coq/pull/13969
)
lets us hopefully use mode
`! !`
for
`Reflexive`
*
8.16:
[
reversible coercions
](
https://mattermost.mpi-sws.org/iris/pl/yz8o9mc7apfupy7h7e3h17kqxc
)
, see
[
draft MR
](
https://gitlab.mpi-sws.org/iris/iris/-/merge_requests/972
)
*
8.17:
[
future coercion syntax
](
https://github.com/coq/coq/pull/16230
)
*
8.19:
[
`resolve_tc`
](
https://github.com/coq/coq/pull/13071
)
...
...
...
...
