tictactoe

A tictactoe game written and proven in SPARK

3 stars

46 watching

5 forks

Language: Ada

last commit: about 7 years ago

Linked from 1 awesome list

Backlinks from these awesome lists:

ohenley/awesome-ada