https://github.com/AdaCore/tictactoe

A tictactoe game written and proven in SPARK
https://github.com/AdaCore/tictactoe

Last synced: about 1 month ago
JSON representation

A tictactoe game written and proven in SPARK

• Host: GitHub
• URL: https://github.com/AdaCore/tictactoe
• Owner: AdaCore
• License: bsd-3-clause
• Created: 2017-07-24T15:14:02.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2017-07-31T15:57:29.000Z (over 7 years ago)
• Last Synced: 2024-07-31T20:31:31.400Z (9 months ago)
• Language: Ada
• Size: 3.91 KB
• Stars: 3
• Watchers: 46
• Forks: 5
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-ada - tictactoe - A tictactoe game written and proven in SPARK/Ada. (Games / Continuous Integration)

README

        
# tictactoe

A tictactoe game written and proven in SPARK