Respuestas al mensaje #6,372

🔧 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.

If I'm understanding the question correctly, maybe look into Hoare logic. Edit: Linking a good textbook on the general topic of verifying...

I like Coq for mathematics as well, but when it comes to programming language verification, the foundational (no pun intended) texts there are the...