Make with Ada: Formal proof on my wrist | The AdaCore Blog - discu.eu

Hacker News

Porting a formally proven Tetris to a Pebble smartwatch in Ada http://blog.adacore.com/make-with-ada-formal-proof-on-my-wrist 27 comments 11/11/2015

Reddit

Ada On Your Wrist http://blog.adacore.com/make-with-ada-formal-proof-on-my-wrist 10 comments 10/11/2015 programming

Linking pages

Unity & Ada | The AdaCore Blog http://blog.adacore.com/unity-ada 24 comments
SPARK Tetris on the Arduboy | The AdaCore Blog http://blog.adacore.com/spark-tetris-on-the-arduboy 12 comments
158: Programming Is Too Difficult for Humans — Embedded http://embedded.fm/episodes/158 1 comment

Linked pages

Related searches:

Search whole site: site:blog.adacore.com

Search title: Make with Ada: Formal proof on my wrist | The AdaCore Blog

See how to search.

Submit link to: