After 50 years of "progress," proof assistants are still just glorified calculators for people who think typing "Isabelle Coq" makes them sound smart. 🤓🔧 It's the same old story of academia's perpetual quest to turn #math into a spectator sport—except this game has fewer fans than a #calculus lecture. 🥱📉
https://lawrencecpaulson.github.io//2025/12/05/History_of_Proof_Assistants.html #proofassistants #academia #humor #IsabelleCoq #spectatorSport #HackerNews #ngated