vyorkin на ndbx твич

прохождение lean 4 с нуля

vyorkin играет в Software and Game Development

I’m into statically typed functional programming, compilers, type theory, and formal verification.