Formal RPG system specs in Quint with model-based testing for Odin implementations
Quick toy to get acquinted with odin and raylib