Recently I wrote this essay/history about difficulties creating provers for Z and creating a Z standard, and the decline in the popularity of Z: https://jon-ja

Recently I wrote this essay/history about difficulties creating provers for Z and creating a Z standard, and the decline in the popularity of Z: https://jon-jacky.github.io/z/z-history/ https://jon-jacky.github.io/z/z-history/