gallicch.io
Carnegie Mellon Pittsburgh, PA PhD student studying PL/FM. I like building useful abstractions to make programming easier, and formal verification heavily guides that process for me :-)
James Gallicchio
WIP collections library for Lean 4
JamesGallicchio