Pinned Loading

1. hhu-adam/Robo hhu-adam/Robo Public

   A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪

   Lean 25 18

2. Eschenburg-calculator Eschenburg-calculator Public

   Code for finding tuples of positively curved Eschenburg spaces (E₁, E₂, … ) such that all Eᵢ are homotopy equivalent/tangentially homotopy equivalent/homeomorphic

   C++

3. LaTeX2Anki LaTeX2Anki Public

   python script for converting structured notes in LaTeX into csv-files that can be imported into Anki

   JavaScript 1

4. LinACards2025 LinACards2025 Public

   source code for Anki cards for my 2025 course on Linear Algebra (to be imported into Anki via LaTeX2Anki)

   TeX