GitHub repository: Keiishu/Rodin-OXO
Description: Rodin OXO is a simple Rodin modelisation of an OXO game for educational purposes.