Giters

AdaCore / tictactoe

A tictactoe game written and proven in SPARK

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

tictactoe

A tictactoe game written and proven in SPARK

About

A tictactoe game written and proven in SPARK

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Ada 100.0%