Profile PictureJesse Alama

I’m a mathematician, Lean & Racket programmer and writer based in Mainz, Germany. Sign up below to stay up-to-date on my latest work.