Written by Shahroch Malik Hassany Introduction My task in this project was to understand how a new implementation of the real numbers in Lean works: the ComputableReal Repository. I was supposed to figure out what it does, how it works,…
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 Rothe, Jonas Schäfer, Alina Stock, Vincent Voß and Katrin Weiß. What is a…
Written by Tabea Bokelmann, Malin Clasen, Eva Hettler This work was created during a HEGL seminar targeted at students in the teaching programme. As the aim is to produce materials for use in schools, the following will be in German.…
Written by Hannah Gebhardt, Solveig Harder, Hannah Renner This work was created during a HEGL seminar targeted at students in the teaching programme. As the aim is to produce materials for use in schools, the following will be in German.…
Written by Jule Dyck, Michelle Rehmer, Alina Vogel This work was created during a HEGL seminar targeted at students in the teaching programme. As the aim is to produce materials for use in schools, the following will be in German.…
Written by Johannes Kadel, Luca-Marie Carstens, Gino Rincon This work was created during a HEGL seminar targeted at students in the teaching programme. As the aim is to produce materials for use in schools, the following will be in German.…
Written by Annika Lehmann, Mathilda Ott, Hannah Raithel This work was created during a HEGL seminar targeted at students in the teaching programme. As the aim is to produce materials for use in schools, the following will be in German.…
Written by: Caroline Bornmann, Sebastian Grafe, Johannes Kamlage The reason why Heidelberg is better than Granada Granada in Spain. Roughly 230.000 habitants and a beloved holiday destination for many tourists. But why exactly is this beautiful piece of land in…
Written by: Julia Bulitta, Alina Czasch, Hanna Heer, Tadeus Pindl, Fabian Walliser 1. Introduction During this past summer semester, we dealt with the task to construct a game which has mathematical knowledge. There are already many games that have mathematical…
Written by Almoatasembellah Haggag Abstract The Mihrab (a concave niche situated in the wall of a mosque facing Mecca. [3]) of the 15th-century Badr al-Dın al-Aynı Madrasa in Cairo, renowned for its significance and uniqueness in the medieval city of…
