4 ms·

Z notation

• jonjacky 3y ago
  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/