====== History of formal methods ======

A nice introduction on history of mathematical theories, which helped develop formal methods can be found [[https://serokell.io/blog/formal-verification-history|here]].