Remote
cyclogician
Modal Logic, Gossip protocols, Interpolation, Haskell, Lean, Linux and Bicycles.
Assistant professor at ILLC, University of Amsterdam.
0
Followers
0
Following
0
Posts
Joined May 15, 2026
Posts
No public posts available
Remote instance
social.edu.nl
Open on original server