printf("Hello!\n");

Computer Science & Engineering undergraduate, deeply interested in abstract mathematics, philosophy and the foundations of computation. I write mostly in Haskell, Lean, LaTeX, Python and C/++. I enjoy reading technical books — endlessly curious. A public code forge where I explore ideas, write stuff, contribute to or create open-source projects out of personal interest.