package info (click to toggle)
acl2 8.6%2Bdfsg-3
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 1,138,276 kB
  • sloc: lisp: 17,818,294; java: 125,359; python: 28,122; javascript: 23,458; cpp: 18,851; ansic: 11,569; perl: 7,678; xml: 5,591; sh: 3,978; makefile: 3,840; ruby: 2,633; yacc: 1,126; ml: 763; awk: 295; csh: 233; lex: 197; php: 178; tcl: 49; asm: 23; haskell: 17

Folder: logic

d .. (parent)
d d rwxr-xr-x 4,096 .sys
- - rw-r--r-- 1,455 acl2-customization.lsp
- - rw-r--r-- 6,612 appeal-identity.lisp
- - rw-r--r-- 28,022 arities-okp.lisp
- - rw-r--r-- 8,769 base-evaluator.lisp
- - rw-r--r-- 1,485 cert.acl2
- - rw-r--r-- 9,986 disjoin-formulas.lisp
- - rw-r--r-- 4,388 find-proof.lisp
- - rw-r--r-- 5,945 formula-size.lisp
- - rw-r--r-- 32,281 formulas.lisp
- - rw-r--r-- 7,692 fterm-lists.lisp
- - rw-r--r-- 6,142 functional-axiom.lisp
- - rw-r--r-- 7,057 fuse.lisp
- - rw-r--r-- 9,224 groundp.lisp
- - rw-r--r-- 6,789 lambda-count.lisp
- - rw-r--r-- 9,656 negate-formulas.lisp
- - rw-r--r-- 3,382 negate-term.lisp
- - rw-r--r-- 5,996 pand.lisp
- - rw-r--r-- 14,146 patmatch-formula.lisp
- - rw-r--r-- 18,927 patmatch-term.lisp
- - rw-r--r-- 12,499 pequal-list.lisp
- - rw-r--r-- 6,018 piff.lisp
- - rw-r--r-- 10,251 por-list.lisp
- - rw-r--r-- 80,348 proofp.lisp
- - rw-r--r-- 3,926 quote-range.lisp
- - rw-r--r-- 15,158 replace-proofs.lisp
- - rw-r--r-- 10,562 replace-subterm.lisp
- - rw-r--r-- 11,127 substitute-formula.lisp
- - rw-r--r-- 19,531 substitute-term.lisp
- - rw-r--r-- 12,916 subtermp.lisp
- - rw-r--r-- 6,790 term-formula.lisp
- - rw-r--r-- 37,659 term-order.lisp
- - rw-r--r-- 29,728 termination.lisp
- - rw-r--r-- 62,242 terms.lisp
- - rw-r--r-- 2,365 top.lisp
- - rw-r--r-- 2,769 trace-proofp.lisp
- - rw-r--r-- 4,561 translate-sigma.lisp
- - rw-r--r-- 50,931 translate.lisp