Dominik Holenstein
Dominik Holenstein

Dominik Holenstein

Deaf + listening with Cochlea Implants // MATLAB, Haskell, Lean Theorem Prover, Maths, Lambda Calculus, Proof Theory, Politics — I like books!