欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
搜索结果
在本wiki上新建名为“Coyote Linux”的页面!
- == MiniLinux distributions == *[[BasicLinux]]: a floppy distro that works on minimal hardware (2 FD).2 KB(243个字) - 2010年8月22日 (日) 08:40
- Huihoo Debian Enterprise Linux 更名为 Huihoo Debian Enterprise (2009.08.26) [[Huihoo Debian Media Server]] 是 Huihoo Debian Enterprise Linux 的组成部分.10 KB(1,157个字) - 2010年8月22日 (日) 02:37
- ...luding LRP), a multi-function masquerade gateway/server or on a standalone Linux system. * Support for running PoPToP on a Linux gateway/firewall.941字节(132个字) - 2010年9月9日 (四) 09:14
分享您的观点