8000 Common checkpoints · acl2/acl2 Wiki · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Common checkpoints

Jump to bottom
David L Rager edited this page Sep 9, 2014 · 1 revision

#Some common checkpoints and what they mean

  • (implies (not (consp x)) (not x))

Add (true-listp x) to your hypotheses.

Clone this wiki locally
0