Philip Kaludercic
@pkal@social.sdfeu.org
Joined: 10/12/2025
About Philip Kaludercic
I work on Emacs and with Program Logics.
Lists
pkal has no public lists
Timeline
pkal has no activity yet
@pkal@social.sdfeu.org
Joined: 10/12/2025
I work on Emacs and with Program Logics.
pkal has no public lists
pkal has no activity yet