Adapt to coq/coq#18280 (case relevance outside case info)

impermeable / coq-waterproof

The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

https://impermeable.github.io/

GNU Lesser General Public License v3.0

29 stars 9 forks source link

Adapt to coq/coq#18280 (case relevance outside case info) #37

Closed SkySkimmer closed 10 months ago

ppedrot commented 10 months ago

Please merge now.

SkySkimmer commented 10 months ago

ping @jim-portegies