Physics PhD student at the Perimeter Institute / University of Waterloo
-
Perimeter Institute
- Waterloo, ON, Canada
- https://www2.perimeterinstitute.ca/personal/llessa/
Pinned Loading
-
Timeroot/Lean-QuantumInfo
Timeroot/Lean-QuantumInfo PublicQuantum information theory in Lean 4
-
dixit-telegram-bot
dixit-telegram-bot PublicBot for Telegram to play Dixit with your friends!
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.

