KGStatusBar
- 授权协议: MIT
- 开发语言: Objective-C
- 操作系统: iOS
- 软件首页: https://github.com/kevingibbon/KGStatusBar
- 软件文档: https://github.com/kevingibbon/KGStatusBar
软件介绍
KGStatusBar 用来在应用界面顶端显示一行提示文本信息，类似 MailBox 应用。它会将状态栏给覆盖。
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》 这本书的介绍吧!
