> The “Software is Math” is both poorly reasoned and probably not desirable. Hey! Don't you know everyone programs in Coq these days and every CSS style sheet

> The “Software is Math” is both poorly reasoned and probably not desirable. Hey! Don't you know everyone programs in Coq these days and every CSS style sheet is backed by proof? /s