Programming formalismsOctober 29, 2025 · View on GitHub 'Programming Formalisms' course logo, by Jonas Söderberg and Lars Eklund Go to the nicely-rendered version of the course