首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 图书馆的ACL2定理证明

图书馆的ACL2定理证明

  • 资源大小:13.51 MB
  • 上传时间:2021-06-30
  • 下载次数:0次
  • 浏览次数:1次
  • 资源积分:1积分
  • 标      签: 图书馆 ACL 证明 定理

资 源 简 介

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

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP
  • 猕猴桃 3小时前 成为了本站会员

  • 11 7小时前 成为了本站会员

  • 开心快活人 10小时前 成为了本站会员

  • 晋财 11小时前 成为了本站会员

  • WYG 1天前 成为了本站会员

  • Shine 1天前 成为了本站会员

  • 柳贻 1天前 成为了本站会员

  • hallelujah_HL 1天前 成为了本站会员

  • 焦昱贺 1天前 成为了本站会员

  • Rubin 1天前 成为了本站会员

1.175835s