functionalcs.github.io
A research-oriented computer science curriculum centered on computational trinitarianism, where computation appears as logic, programs and categories. It covers programming with functional languages, discrete math formalized in Lean 4, algorithms and proof assistants.