from Hacker News

Z notation

by not_knuth on 11/5/23, 4:12 PM with 1 comments

• by jonjacky on 11/5/23, 7:04 PM

  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/