search

AdaCore / Ada-SPARK-Crate-Of-The-Year

19 stars 2 forks source link

[2021] Submissions are closed #13

Closed Fabien-Chouteau closed 2 years ago

Fabien-Chouteau commented 2 years ago

Hello everyone,

The submission for the Ada/SPARK Crate Of The Year 2021 are now officially close. We will announce the winners on the AdaCore Blog in the coming weeks.

Thanks to all the participants,