Invocation of Simplification

Categories and tags of the game : Course Project, Educational, Logic, Mathematics, Single Player