acl2-books-source 7.2dfsg-3 / usr / share / acl2-7.2dfsg / books / demos

This file is indexed.

/usr/share/acl2-7.2dfsg/books/demos/ is in acl2-books-source 7.2dfsg-3.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-7.2dfsg/books/demos/constants-that-require-modifying-state.lisp text/x-lisp root:root 0o644 1.1 KB
/usr/share/acl2-7.2dfsg/books/demos/gl-and-std/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/demos/gl-and-std/cert.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.2dfsg/books/demos/gl-and-std/defaggregate-constants.lisp text/plain root:root 0o644 2.7 KB
/usr/share/acl2-7.2dfsg/books/demos/gl-and-std/defaggregate-keywords.lisp text/plain root:root 0o644 2.9 KB
/usr/share/acl2-7.2dfsg/books/demos/gl-and-std/defprod-constants.lisp text/plain root:root 0o644 2.8 KB
/usr/share/acl2-7.2dfsg/books/demos/gl-and-use-example.acl2 text/plain root:root 0o644 82 bytes
/usr/share/acl2-7.2dfsg/books/demos/gl-and-use-example.lisp text/plain root:root 0o644 5.7 KB
/usr/share/acl2-7.2dfsg/books/demos/knuth-bendix-problem-1.lisp text/x-lisp root:root 0o644 4.3 KB
/usr/share/acl2-7.2dfsg/books/demos/list-theory.lisp text/plain root:root 0o644 2.1 KB
/usr/share/acl2-7.2dfsg/books/demos/meta-wf-guarantee-example.acl2 text/plain root:root 0o644 20 bytes
/usr/share/acl2-7.2dfsg/books/demos/meta-wf-guarantee-example.lisp text/plain root:root 0o644 15.4 KB
/usr/share/acl2-7.2dfsg/books/demos/modeling/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/demos/modeling/cert.acl2 text/plain root:root 0o644 46 bytes
/usr/share/acl2-7.2dfsg/books/demos/modeling/memories.lisp text/x-lisp root:root 0o644 2.6 KB
/usr/share/acl2-7.2dfsg/books/demos/modeling/nested-stobj-toy-isa.acl2 text/plain root:root 0o644 261 bytes
/usr/share/acl2-7.2dfsg/books/demos/modeling/nested-stobj-toy-isa.lisp text/x-lisp root:root 0o644 19.8 KB
/usr/share/acl2-7.2dfsg/books/demos/modeling/network-state-basic.lisp text/x-lisp root:root 0o644 12.8 KB
/usr/share/acl2-7.2dfsg/books/demos/modeling/network-state.lisp text/plain root:root 0o644 19.3 KB
/usr/share/acl2-7.2dfsg/books/demos/modeling/nondeterminism.lisp text/x-lisp root:root 0o644 2.3 KB
/usr/share/acl2-7.2dfsg/books/demos/parallel/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/demos/parallel/fibonacci.lisp text/x-lisp root:root 0o644 1.9 KB
/usr/share/acl2-7.2dfsg/books/demos/parallel/matrix-multiplication-parallel.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-7.2dfsg/books/demos/parallel/matrix-multiplication-serial.lisp text/x-lisp root:root 0o644 1.4 KB
/usr/share/acl2-7.2dfsg/books/demos/parallel/matrix-multiplication-setup.lisp text/x-lisp root:root 0o644 2.6 KB
/usr/share/acl2-7.2dfsg/books/demos/patterned-congruences.lisp text/x-lisp root:root 0o644 47.7 KB
/usr/share/acl2-7.2dfsg/books/demos/proofs/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/demos/proofs/linear.lisp text/x-lisp root:root 0o644 2.2 KB
/usr/share/acl2-7.2dfsg/books/demos/proofs/tightness-lemma-proof.lisp text/x-lisp root:root 0o644 32.7 KB
/usr/share/acl2-7.2dfsg/books/demos/proofs/tightness-lemma.lisp text/x-lisp root:root 0o644 9.1 KB
/usr/share/acl2-7.2dfsg/books/demos/proofs/type-prescription.lisp text/plain root:root 0o644 2.6 KB
/usr/share/acl2-7.2dfsg/books/demos/split-types-examples.lisp text/x-lisp root:root 0o644 9.4 KB
/usr/share/acl2-7.2dfsg/books/demos/tutorial-problems/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/demos/tutorial-problems/equivalence-of-two-functions/ root:root 0o755
/usr/share/acl2-7.2dfsg/books/demos/tutorial-problems/equivalence-of-two-functions/kaufmann.lisp text/x-lisp root:root 0o644 1.7 KB
/usr/share/acl2-7.2dfsg/books/demos/tutorial-problems/equivalence-of-two-functions/moore.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-7.2dfsg/books/demos/tutorial-problems/introductory-challenge-problem-4-athena.lisp text/x-lisp root:root 0o644 13.0 KB
/usr/share/acl2-7.2dfsg/books/demos/tutorial-problems/introductory-challenge-problem-4.lisp text/plain root:root 0o644 21.8 KB

APT Browse - Built by Thomas Orozco.