94
I LOVE BUILDING CHROMIUM
(hexbear.net)
On the road to fully automated luxury gay space communism.
Spreading Linux propaganda since 2020
Rules:
Ah, so it was that one! Unfortunate. Someone should probably tell them, although perhaps it's an upstream issue. Anyway Lean is really cool! There's a fun puzzle game people made with it here: https://adam.math.hhu.de/#/g/leanprover-community/nng4