The Heidelberg Lean Game: How to turn mathematical proofs into games
Written by Vincent Voß, Katrin Weiß This Lean Game was created as a group project during a HEGL seminar by Heide Frank, Johannes Kadel, Adriano Messina, Hannah Roth, Jonas Schäfer, Alina Stock, Vincent Voß and Katrin Weiß. What is a…