Search-engine friendly clone of the
ACL2 documentation
.
Top
Documentation
Books
Boolean-reasoning
Projects
Debugging
Std
Std/lists
Std/alists
Obags
Std/util
Std/strings
Std/io
Std/osets
Std/basic
Std/system
Std/typed-lists
Std/bitsets
Std/testing
Must-fail
Assert!-stobj
Must-eval-to
Assert!
Must-succeed
Must-succeed*
Assert?
Must-fail-with-soft-error
Must-fail-with-hard-error
Ensure-hard-error
Must-fail-with-error
Must-eval-to-t
Must-prove
Must-not-prove
Must-not-be-table-key
Must-be-redundant
Must-fail-local
Must-be-table-key
Assert-equal
Std/typed-alists
Std/stobjs
Std-extensions
Proof-automation
Macro-libraries
ACL2
Interfacing-tools
Hardware-verification
Software-verification
Math
Testing-utilities
Must-fail-with-hard-error
Ensure-hard-error
Deprecated synonym of
must-fail-with-hard-error