package info (click to toggle)
cafeobj 1.6.0-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid
  • size: 19,900 kB
  • sloc: lisp: 85,055; sh: 659; makefile: 437; perl: 147

Folder: codes

d .. (parent)
- - rw-r--r-- 68,507 butils.lisp
- - rw-r--r-- 52,686 clause.lisp
- - rw-r--r-- 32,590 commands.lisp
- - rw-r--r-- 27,155 demod.lisp
- - rw-r--r-- 13,682 fopl.mod
- - rw-r--r-- 52,751 formula.lisp
- - rw-r--r-- 43,453 glob.lisp
- - rw-r--r-- 36,727 index.lisp
- - rw-r--r-- 33,108 infer.lisp
- - rw-r--r-- 35,507 inv.lisp
- - rw-r--r-- 7,126 lrpo.lisp
- - rw-r--r-- 23,612 modconv.lisp
- - rw-r--r-- 24,619 paramod.lisp
- - rw-r--r-- 5,415 proof-sys.lisp
- - rw-r--r-- 7,668 refine.lisp
- - rw-r--r-- 52,337 resolve.lisp
- - rw-r--r-- 10,062 sigmatch.lisp
- - rw-r--r-- 16,180 syntax.lisp
- - rw-r--r-- 29,785 types.lisp
- - rw-r--r-- 15,119 unify.lisp
- - rw-r--r-- 24,450 weight.lisp