Jacopo Philip Moretti
Computer Science MSc student at EPFL
cv
bsky
github
music
businesscard
·
about
·
projects
·
blog
blog::code
⊢
quartztz's Tactic of the Week · constructor
blog::personal
no posts.
blog::notes
⊢
the one in which jack says bye to streaming
⊢
Control Flow Graphs in Lean
