PLT @ University of Utah
Users following utahplt
Jonathan Cubides
jonaprieto
Research Engineer.
Read/write types and proofs for fun and profit.
Better HoTT than cold.
Ash
tnuha
I've migrated all personal projects to https://gitlab.com/ahunt3 since GitHub's coalition with Copilot. You might be looking for something there!
Pratyay Banerjee
nitrospark
I collect information across the web ❯ A bot crafted by @Neilblaze 🦄
TU Munich / @TUM-Dev Munich, Germany ✧ 127.0.0.1
Ashton Wiersdorf
ashton314
PhD student at the University of Utah. Metaprogramming sorcerer. Emacs addict. Contrabass and chocolate lover.
PLT @ University of Utah Utah, USA
