Far117

I love the overlap of math and CS. Functional programming and correctness/verification are incredibly interesting to me.

Pinned Repositories

Far117's Repositories