additions/corrections about scopes in the refman

coq / coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

https://coq.inria.fr/

GNU Lesser General Public License v2.1

4.66k stars 632 forks source link

additions/corrections about scopes in the refman #19025

Closed Villetaneuse closed 2 weeks ago

Villetaneuse commented 2 weeks ago

[x] Added / updated documentation.

proux01 commented 2 weeks ago

@coqbot merge now