A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
16
stars
9
forks
source link
Babylon levels 05 & 06: missing latex-summary of exercise #27
Open
TentativeConvert opened 3 months ago
(compare levels 02, 03 and 04, which have this summary)