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.

source
Sort:hotnewtop