From: Simon Wright <simon@pushface.org>
Subject: Formal methods
Date: Thu, 25 Mar 2021 22:16:06 +0000 [thread overview]
Message-ID: <ly35wij2vt.fsf@pushface.org> (raw)
This demonstrates to me that I will never be competent at SPARK.
https://stackoverflow.com/a/66788892/40851
next reply other threads:[~2021-03-25 22:16 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-03-25 22:16 Simon Wright [this message]
2021-03-25 22:29 ` Formal methods Paul Rubin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox