This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
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