Federico Ponzi
@fponzi.me
MSc in Computer Science. SDE @microsoft Distributed systems and operating systems.
My tweets, my opinions
My tweets, my opinions
New command for the TLA+ vscode extension? 🤓
December 3, 2024 at 11:51 PM
New command for the TLA+ vscode extension? 🤓