Follow BepiqedVevacuru
BepiqedVevacuru
MangLean
Survive by quickly writing Lean4 formalized theorem proofs.
BepiqedVevacuru
Turing Complete Five Nights at Freddy's
Five Nights at Freddy's 1 but on a Turing machine
BepiqedVevacuru
Survival
