Collection of DSLs which can solve discrete mathematics problems.
Updated 2025-03-17 10:56:48 +01:00
Webscraping discord bot, updating you when a new math assignment is out
Updated 2025-03-17 10:56:49 +01:00