The Ball-Point-Game is a warm-up game to get to know agile working.
Primary LanguagePromelaOtherNOASSERTION