[drhodes]

Building out a free real analysis course that uses Lean4, https://proofbased.org/

I need help finding a full time job in Boston so I can move there.. Facing a catch 22 with apartment applications. I have a tooth brush and will scrub makefiles for a living wage, I'm not picky! (resume in profile)