欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
最近更改
本页面跟踪本wiki的最近更改。
2025年2月15日 (星期六)
- (差异 | 历史) . . 小 Drupal; 03:52 . . (+329) . . Allen (讨论 | 贡献) (→版本: )
- (上传日志); 02:33 . . Allen (讨论 | 贡献)上传“文件:Wsl-config.png” (category:linux category:windows category:microsoft)
2025年2月14日 (星期五)
- (差异 | 历史) . . 小 WSL; 14:01 . . (+192) . . Allen (讨论 | 贡献) (→项目: )
- (差异 | 历史) . . 新 WSL; 13:56 . . (+452) . . Allen (讨论 | 贡献) (以“{{SeeWikipedia|Windows Subsystem for Linux}} Windows Subsystem for Linux (WSL) ==简介== ==功能== ==指南== ==项目== *[https://github.com/microsoft/WSL W...”为内容创建页面)
2025年2月13日 (星期四)
- (上传日志); 04:00 . . Allen (讨论 | 贡献)上传“文件:2025-Gartner-Magic-Quadrant-for-Digital-Experience-Platforms.png” (https://www.gartner.com/doc/reprints?id=1-2K0LH2I7&ct=250122 category:drupal category:PHP category:CMS)
- (上传日志); 03:57 . . Allen (讨论 | 贡献)上传“文件:Drupal-use-projects.png” (category:drupal category:PHP category:CMS)
分享您的观点