欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐博客
来自开放百科 - 灰狐
（版本间的差异）
(以“灰狐博客 ==简介== 灰狐博客：一个开放的博客系统。 目前基于WordPress构建。 ==功能== ==迁移== *[http://cryogenweb.org/ Cryogen] ...”为内容创建页面) |
小 (→简介) |
||
| 第5行： | 第5行： | ||
目前基于[[WordPress]]构建。 | 目前基于[[WordPress]]构建。 | ||
| + | |||
| + | ==路线图== | ||
| + | 下一步，Video Blogging：Vlog。(2018.03.27) | ||
==功能== | ==功能== | ||
2018年3月27日 (二) 01:05的版本
灰狐博客
目录 |
简介
灰狐博客：一个开放的博客系统。
目前基于WordPress构建。
路线图
下一步，Video Blogging：Vlog。(2018.03.27)
功能
迁移
图集
链接
分享您的观点
