Coq/Rocq and how to completely break it

Sujet : Coq/Rocq and how to completely break it
De : julio (at) *nospam* diegidio.name (Julio Di Egidio)
Groupes : sci.logic
Date : 10. Jul 2025, 13:01:25

Autres entêtes

Organisation : A noiseless patient Spider
Message-ID : <104oa2l$r4na$2@dont-email.me>
User-Agent : Mozilla Thunderbird

The end of the world is nigh:
<https://rocq-prover.zulipchat.com/#narrow/channel/237656-Rocq-devs-.26-plugin-devs/topic/status.20and.20future.20of.20the.20phase.20split/near/528029103>
From interactive proof assistant to completely upside-down and
completely broken, and not just on that at that point of course.
And the fucking shamelessness...
-Julio

Date	Sujet	#	Auteur
10 Jul 25	Coq/Rocq and how to completely break it	5	Julio Di Egidio
10 Jul 25	Re: Coq/Rocq and how to completely break it	4	Julio Di Egidio
15 Jul17:31	Maybe AGI should take over proving (Was: Coq/Rocq and how to completely break it)	3	Mild Shock
15 Jul17:34	Having 2544 issues is probably a bad sign (Was: Maybe AGI should take over proving)	2	Mild Shock
15 Jul18:01	The Signal Collapse gives us System Uncertainty (Was: Having 2544 issues is probably a bad sign)	1	Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal