- 授权协议: MIT
- 开发语言: Google Go
- 操作系统: 跨平台
- 软件首页: https://github.com/UlricQin/beego-blog
软件介绍
这是一个采用golang编写的项目，基于Beego框架开发，部署零依赖
非常简单，易于新手学习
利用了内存缓存，提升速度
使用七牛云存储来存储网站中的图片
如果你只是想找一个简单的个人blog，选择Beego-Blog你不会后悔
The Little Prover
Daniel P. Friedman、Carl Eastlund / The MIT Press / 2015-7-10 / USD 38.00
[FROM www.amazon.com]: The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, wi......一起来看看 《The Little Prover》 这本书的介绍吧!
