形式化驗證 (Formal Verification) https://hackmd.io/s/H1xxp3pF0
另外一篇：思想開通－學數之人必備的特質
http://chowkafat.net/Mathpassage2.html
