About indyjcl
just a dude who likes space, traveling, learning Lean and stuff
Lists
{username} has no public lists
Timeline
{username} has no activity yet
just a dude who likes space, traveling, learning Lean and stuff
{username} has no public lists
{username} has no activity yet