The Coq mailing list

[AUGER Cédric <sedrikov AT gmail.com>]

Hello all, I wanted to know if a date is planned for Coq 8.5.
Also, concerning the bug using propositionnal extensionnality and
recursion on the unit type, I wanted to know if a solution was
retained, and if so which one. And last, on the proof market, there
seem to be an axiom free proof of False, I do not know how it works,
but I am wondering if this is an exploit of the system or a true
inconsistency, and if so, if the coq dev team is working on it.

Thanks!