Mathematics
Discrete Mathematics
Sets, logic and quantifiers, machine-checked proofs, number theory, counting and graphs — a full course, every example runnable.
Open study →Computer science
Algorithms
From a factorial to a forward-chaining expert system — sorting, search, graph traversal, dynamic programming and symbolic AI.
Open study →Philosophy
Symbolization
Epictetus' Enchiridion rendered as executable logic — the dichotomy of control, formalized and run.
Open study →Coming soon
Philosophical Logic
Modal, many-valued and epistemic logics — the executable-philosophy track. In progress.
Soon