2026-01-14 10:45 UTC
Well some don't even write code at all!
Replies (1)
-
@Nemo@slrpnk.net 2026-01-14 11:40
Depends on if you think of formal proofs as a kind of code, I guess.
2026-01-14 10:45 UTC
Depends on if you think of formal proofs as a kind of code, I guess.