Diego Marmsoler
dmarmsoler.bsky.social
Diego Marmsoler
@dmarmsoler.bsky.social
Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
No replies yet.