Hacker News new | ask | show | jobs
by User23 1164 days ago
Dijkstra did something similar when he derived a generalization of the theorem[1].

[1] https://www.cs.utexas.edu/~EWD/transcriptions/EWD09xx/EWD975...