Respuestas al mensaje #1,967

🔧 Site instability resolved. You can report double-posts and broken attachments. For bigger issues, use the Technical Grievances thread.
🇵🇦 Nuestro primer dominio localizado está en español en kiwifarms.pa. Our first localized domain is on Spanish on kiwifarms.pa.

We're not talking about formal verification, this is already twice removed from the initial topic. Thank you for finally admitting my point.

I'm just curious (and I've been enjoying the back and forth), but how long does specifying a system in its entirety like this take? I can...