preloader
學習

[轉貼連結]形式化驗證 (Formal Verification)

形式化驗證 (Formal Verification) https://hackmd.io/s/H1xxp3pF0 

 

另外一篇:思想開通-學數之人必備的特質

http://chowkafat.net/Mathpassage2.html