search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Typo in nahas_tutorial.v #134

Closed langfield closed 4 years ago

langfield commented 4 years ago

Very minor. See here https://github.com/coq/www/blob/master/files/nahas_tutorial.v#L1609

There's supposed to be a conjunction and a disjunction but it's two conjunctions.

Zimmi48 commented 4 years ago

cc @mdnahas

mdnahas commented 4 years ago

Thanks for letting me know.