7 ms·
Fair point! Updated. I’m definitely coming at this more from a Lean 4/formal methods perspective than a POSIX one.
by ngrislain 6mo ago
Fair point! Updated. I’m definitely coming at this more from a Lean 4/formal methods perspective than a POSIX one.