Skip to content
GitLab
Explore
Sign in
Maxime Dénès
iris-coq
Repository
iris-coq
tests
list_reverse.8.10.ref
Find file
Blame
History
Permalink
A Coq bug printing spurious parentheses has been fixed.
· ec3eb238
Hugo Herbelin
authored
Dec 16, 2018
See Coq PR#9214.
ec3eb238