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