欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐图书
来自开放百科 - 灰狐
(版本间的差异)
小 (→简介) |
小 (→电子图书) |
||
第21行: | 第21行: | ||
==电子图书== | ==电子图书== | ||
+ | |||
+ | ==路线图== | ||
+ | 以[[Python]]、[[Django]]、[[PostgreSQL]]驱动的图书共享平台。 | ||
==写作计划== | ==写作计划== |
2018年3月19日 (一) 09:31的版本
灰狐图书是一个自由、开放的图书共享计划。
目录 |
简介
灰狐图书馆
愿景
公约
读书会
灰狐阅读
图书馆
灰狐图书馆常置身于灰狐咖啡馆 :)
电子图书
路线图
以Python、Django、PostgreSQL驱动的图书共享平台。
写作计划
图集
链接
分享您的观点