Picking something up...
Added 2020-09-20 07:08:24 +0000 UTCThis was a project I started like 5 years ago, and dropped it to make a shorted loop. (Y'know the Isabelle one)
This was a project I started like 5 years ago, and dropped it to make a shorted loop. (Y'know the Isabelle one)
