ruhigeschaos

ruhigeschaos

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

ruhigeschaos hasn’t been active on Medium yet. Check back later to see their stories, claps, and highlights.