Compiling Imperative Programs to Formulas; Sketching Expressions

Categories and tags of the game : Informative, Single Player