Comment on Weekly “What are you playing” Thread || Week of June 30th
soulsource@discuss.tchncs.de 5 months ago
Technically I’m still playing “Vagrus - The Riven Realms”, but I didn’t play much lately, since I rediscovered my love for the Lean4 programming language and am now playing around with a formally validated heap again.