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