欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Word chart/t
来自开放百科 - 灰狐
- traversing 遍历
- that is 就是说
- Truthy and Falsy Things 真与假, truthy和falsy是true和false的名词形式
分享您的观点