4 ms·
Very nice write-up. First time I’ve finished an article about formal proofs and thought to myself I’d like to give it a try.
by macintux 2y ago
Very nice write-up. First time I’ve finished an article about formal proofs and thought to myself I’d like to give it a try.