资 源 简 介
ACL2 Community Books
The Community Books are now included in the ACL2+books github repository at https://github.com/acl2/acl2. Please note that as before, the books/ directory may be edited by everyone in the project, but only the ACL2 authors should edit files outside books/.
We leave the old version of this page here for reference, and have made the repository "read-only".
```
```
The Community Books are the canonical collection of open-source libraries for the ACL2 theorem prover.
Documentation
The Combined ACL2 + Books Manual has extensive documentation for many books, and also for ACL2 itself. You can follow a link on that page to download an offline copy.
Download -- Latest Stable Release
You may wish to [download a gzip
文 件 列 表
books
.gitignore
add-ons
arithmetic
arithmetic-2
arithmetic-3
arithmetic-5
bdd
build
ccg
centaur
cgen
clause-processors
coi
cowles
cutil
data-structures
defexec
defsort
demos
finite-set-theory
fix-cert
GNUmakefile
GPL2
hacking
hints
ihs
interface
LICENSE
make-event
Makefile
Makefile-generic
Makefile-psubdirs
Makefile-subdirs
memoize
meta
misc
models
ordinals
oslib
parallel
parsers
powerlists
projects
proofstyles
README-svn
Readme.html
regex
rtl
serialize
sorting
std
str
system
tau
textbook
tools
unicode
unversioned-files-extra.txt
unversioned-files.txt
xdoc