- 授权协议: 未知
- 开发语言: Lisp
- 操作系统: Linux
- 软件首页: https://github.com/languages/Emacs%20Lisp
- 软件文档: http://www.gnu.org/software/emacs/manual/html_node/elisp/
软件介绍
Emacs Lisp，一种直译式的脚本语言，为LISP的方言之一，GNU Emacs与XEmacs文字编辑器都使用这个编程语言来扩展他们的功能。它的直译器是以C语言来实作的。它受到Maclisp的影响很大，但是跟Common Lisp与Scheme有所不同。
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》 这本书的介绍吧!
