Post

Hot Take: Theorem provers are ready to do most of what you're currently doing with programming languages and they can often do it a lot better.