acl2-books-source 8.0dfsg-1 / usr / share / acl2-8.0dfsg / books / demos

This file is indexed.

/usr/share/acl2-8.0dfsg/books/demos/ is in acl2-books-source 8.0dfsg-1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/acl2-8.0dfsg/books/demos/big-proof-talks/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/demos/big-proof-talks/talk1-book.acl2 text/plain root:root 0o644 291 bytes
/usr/share/acl2-8.0dfsg/books/demos/big-proof-talks/talk1-book.lisp text/plain root:root 0o644 88 bytes
/usr/share/acl2-8.0dfsg/books/demos/big-proof-talks/talk2-book.acl2 text/plain root:root 0o644 470 bytes
/usr/share/acl2-8.0dfsg/books/demos/big-proof-talks/talk2-book.lisp text/plain root:root 0o644 88 bytes
/usr/share/acl2-8.0dfsg/books/demos/constants-that-require-modifying-state.lisp text/x-lisp root:root 0o644 1.1 KB
/usr/share/acl2-8.0dfsg/books/demos/gl-and-std/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/demos/gl-and-std/cert.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/demos/gl-and-std/defaggregate-constants.lisp text/plain root:root 0o644 2.7 KB
/usr/share/acl2-8.0dfsg/books/demos/gl-and-std/defaggregate-keywords.lisp text/plain root:root 0o644 2.9 KB
/usr/share/acl2-8.0dfsg/books/demos/gl-and-std/defprod-constants.lisp text/plain root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/demos/gl-and-use-example.acl2 text/plain root:root 0o644 82 bytes
/usr/share/acl2-8.0dfsg/books/demos/gl-and-use-example.lisp text/plain root:root 0o644 5.7 KB
/usr/share/acl2-8.0dfsg/books/demos/knuth-bendix-problem-1.lisp text/x-lisp root:root 0o644 4.3 KB
/usr/share/acl2-8.0dfsg/books/demos/list-equality-from-nth.acl2 text/plain root:root 0o644 35 bytes
/usr/share/acl2-8.0dfsg/books/demos/list-equality-from-nth.lisp text/x-lisp root:root 0o644 3.0 KB
/usr/share/acl2-8.0dfsg/books/demos/list-theory.lisp text/plain root:root 0o644 2.1 KB
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/compile.acl2 text/plain root:root 0o644 20 bytes
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/compile.lisp text/x-lisp root:root 0o644 3.7 KB
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/fast.lisp text/x-lisp root:root 0o644 35.2 KB
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/g-direct.acl2 text/plain root:root 0o644 20 bytes
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/g-direct.lisp text/x-lisp root:root 0o644 2.9 KB
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/g-invariant.acl2 text/plain root:root 0o644 20 bytes
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/g-invariant.lisp text/x-lisp root:root 0o644 5.7 KB
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/lecture1-book.acl2 text/plain root:root 0o644 185 bytes
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/lecture1-book.lisp text/plain root:root 0o644 94 bytes
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/lecture2-book.acl2 text/plain root:root 0o644 208 bytes
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/lecture2-book.lisp text/plain root:root 0o644 94 bytes
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/lecture3-book.acl2 text/plain root:root 0o644 208 bytes
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/lecture3-book.lisp text/plain root:root 0o644 94 bytes
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/lecture4-book.acl2 text/plain root:root 0o644 560 bytes
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/lecture4-book.lisp text/plain root:root 0o644 94 bytes
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/lecture5-book.acl2 text/plain root:root 0o644 188 bytes
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/lecture5-book.lisp text/plain root:root 0o644 94 bytes
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/m1-fast.acl2 text/plain root:root 0o644 20 bytes
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/m1-fast.lisp text/x-lisp root:root 0o644 9.5 KB
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/m1.acl2 text/plain root:root 0o644 22 bytes
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/m1.lisp text/x-lisp root:root 0o644 6.5 KB
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/perm.lisp text/x-lisp root:root 0o644 1.2 KB
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/preliminary-material.acl2 text/plain root:root 0o644 22 bytes
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/preliminary-material.lisp text/x-lisp root:root 0o644 30.0 KB
/usr/share/acl2-8.0dfsg/books/demos/marktoberdorf-08/utilities.lisp text/x-lisp root:root 0o644 6.3 KB
/usr/share/acl2-8.0dfsg/books/demos/meta-wf-guarantee-example.acl2 text/plain root:root 0o644 20 bytes
/usr/share/acl2-8.0dfsg/books/demos/meta-wf-guarantee-example.lisp text/plain root:root 0o644 21.6 KB
/usr/share/acl2-8.0dfsg/books/demos/mini-proveall-book.acl2 text/plain root:root 0o644 149 bytes
/usr/share/acl2-8.0dfsg/books/demos/mini-proveall-book.lisp text/plain root:root 0o644 282 bytes
/usr/share/acl2-8.0dfsg/books/demos/modeling/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/demos/modeling/cert.acl2 text/plain root:root 0o644 46 bytes
/usr/share/acl2-8.0dfsg/books/demos/modeling/memories.lisp text/x-lisp root:root 0o644 2.6 KB
/usr/share/acl2-8.0dfsg/books/demos/modeling/nested-stobj-toy-isa.acl2 text/plain root:root 0o644 261 bytes
/usr/share/acl2-8.0dfsg/books/demos/modeling/nested-stobj-toy-isa.lisp text/x-lisp root:root 0o644 19.8 KB
/usr/share/acl2-8.0dfsg/books/demos/modeling/network-state-basic.lisp text/x-lisp root:root 0o644 12.8 KB
/usr/share/acl2-8.0dfsg/books/demos/modeling/network-state.lisp text/plain root:root 0o644 19.3 KB
/usr/share/acl2-8.0dfsg/books/demos/modeling/nondeterminism.lisp text/x-lisp root:root 0o644 2.3 KB
/usr/share/acl2-8.0dfsg/books/demos/nth-update-nth-meta-extract.lisp text/x-lisp root:root 0o644 12.1 KB
/usr/share/acl2-8.0dfsg/books/demos/parallel/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/demos/parallel/fibonacci.lisp text/x-lisp root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/demos/parallel/matrix-multiplication-parallel.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-8.0dfsg/books/demos/parallel/matrix-multiplication-serial.lisp text/x-lisp root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/demos/parallel/matrix-multiplication-setup.lisp text/x-lisp root:root 0o644 2.6 KB
/usr/share/acl2-8.0dfsg/books/demos/patterned-congruences.lisp text/x-lisp root:root 0o644 47.7 KB
/usr/share/acl2-8.0dfsg/books/demos/proofs/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/demos/proofs/linear.lisp text/x-lisp root:root 0o644 2.2 KB
/usr/share/acl2-8.0dfsg/books/demos/proofs/tightness-lemma-proof.lisp text/x-lisp root:root 0o644 32.7 KB
/usr/share/acl2-8.0dfsg/books/demos/proofs/tightness-lemma.lisp text/x-lisp root:root 0o644 9.1 KB
/usr/share/acl2-8.0dfsg/books/demos/proofs/type-prescription.lisp text/plain root:root 0o644 2.6 KB
/usr/share/acl2-8.0dfsg/books/demos/register-invariant-risk-support.acl2 text/plain root:root 0o644 91 bytes
/usr/share/acl2-8.0dfsg/books/demos/register-invariant-risk-support.lisp text/x-lisp root:root 0o644 950 bytes
/usr/share/acl2-8.0dfsg/books/demos/register-invariant-risk.acl2 text/plain root:root 0o644 30 bytes
/usr/share/acl2-8.0dfsg/books/demos/register-invariant-risk.lisp text/x-lisp root:root 0o644 1.8 KB
/usr/share/acl2-8.0dfsg/books/demos/sort-by-car-support.acl2 text/plain root:root 0o644 27 bytes
/usr/share/acl2-8.0dfsg/books/demos/sort-by-car-support.lisp text/x-lisp root:root 0o644 9.4 KB
/usr/share/acl2-8.0dfsg/books/demos/sort-by-car.acl2 text/plain root:root 0o644 27 bytes
/usr/share/acl2-8.0dfsg/books/demos/sort-by-car.lisp text/x-lisp root:root 0o644 4.1 KB
/usr/share/acl2-8.0dfsg/books/demos/split-types-examples.lisp text/x-lisp root:root 0o644 9.4 KB
/usr/share/acl2-8.0dfsg/books/demos/stobj-equality-from-fields.acl2 text/plain root:root 0o644 35 bytes
/usr/share/acl2-8.0dfsg/books/demos/stobj-equality-from-fields.lisp text/plain root:root 0o644 2.7 KB
/usr/share/acl2-8.0dfsg/books/demos/tutorial-problems/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/demos/tutorial-problems/equivalence-of-two-functions/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/demos/tutorial-problems/equivalence-of-two-functions/kaufmann.lisp text/x-lisp root:root 0o644 1.7 KB
/usr/share/acl2-8.0dfsg/books/demos/tutorial-problems/equivalence-of-two-functions/moore.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/demos/tutorial-problems/introductory-challenge-problem-4-athena.lisp text/x-lisp root:root 0o644 13.0 KB
/usr/share/acl2-8.0dfsg/books/demos/tutorial-problems/introductory-challenge-problem-4.lisp text/plain root:root 0o644 21.8 KB

APT Browse - Built by Thomas Orozco.