comp.lang.ada
 help / color / mirror / Atom feed
From: Fabien Chouteau <fabien.chouteau@gmail.com>
Subject: Re: My new post on dev.to about SPARK
Date: Thu, 9 Jul 2020 08:21:22 -0700 (PDT)	[thread overview]
Message-ID: <a6246343-c117-4457-9e4a-a0bce7a63d8bo@googlegroups.com> (raw)
In-Reply-To: <8e5d14a5-0311-4005-9655-951e8a274929o@googlegroups.com>

> https://dev.to/pinotattari/proving-the-correctness-of-a-binary-search-procedure-with-spark-ada-34id
 
Very nice post Riccardo.

  reply	other threads:[~2020-07-09 15:21 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-07-09 14:16 My new post on dev.to about SPARK mockturtle
2020-07-09 15:21 ` Fabien Chouteau [this message]
2020-07-09 15:27   ` Fabien Chouteau
2020-07-09 16:35 ` Jeffrey R. Carter
2020-07-09 20:00 ` Simon Wright
2020-07-10  4:17   ` J-P. Rosen
2020-07-10  6:04     ` Paul Rubin
2020-07-10  7:47       ` J-P. Rosen
2020-07-10  7:42 ` Stéphane Rivière
2020-07-10  9:16 ` Nasser M. Abbasi
2020-07-10  9:20   ` Nasser M. Abbasi
2020-07-23 10:17   ` mockturtle
2020-09-03 10:32 ` c+
2020-09-12  4:30 ` sumde121
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox