欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Cheat sheet
来自开放百科 - 灰狐
(版本间的差异)
(以内容'收集、整理各类速查表(cheat sheet) <gallery widths=90px heights=90px perrow=6> Image:python-cheat-sheet-v1.png|Python Image:subversion-cheat-sheet-v1.png|Subversi...'创建新页面) |
2010年10月20日 (三) 03:12的版本
收集、整理各类速查表(cheat sheet)
分享您的观点