[–] jonjacky 2y 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/
1 comment
[ 3.5 ms ] story [ 8.4 ms ] threadhttps://jon-jacky.github.io/z/z-history/