GitHub repository: BergLucas/Rodin-OXO
Created: 2022-01-23T11:12:40Z
Description: Rodin OXO is a simple Rodin modelisation of an OXO game for educational purposes.