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