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