- 授权协议: MIT
- 开发语言: Ruby
- 操作系统: 跨平台
- 软件首页: https://github.com/htanata/git_snip
软件介绍
git_snip 可以安全地清理掉你 Git 库上的分支项目。当一个分支项目远程合并后,你本地的分支不会自动删除,并且会让你更难找到相关的分支。此项目旨在通过 git_cherry 找到本地已经合并的分支,然后删除它们。
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》 这本书的介绍吧!
