Collection of DSLs which can solve discrete mathematics problems.
Updated 2022-04-12 16:21:49 +02:00
Autumn 2020 | Exercises for introductory math course
Updated 2020-10-17 18:35:18 +02:00
Spring 2021 | Exercises and python framework for discrete mathematics course
Updated 2021-08-29 19:57:57 +02:00
TeX styles for schoolwork and other things
Updated 2022-04-10 22:10:06 +02:00
Webscraping discord bot, updating you when a new math assignment is out
Updated 2021-03-28 01:23:11 +01:00