package info (click to toggle)
hol-light 20131026-1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 26,264 kB
  • ctags: 4,620
  • sloc: ml: 400,325; cpp: 438; java: 279; lisp: 261; makefile: 256; sh: 190; yacc: 108; perl: 78; ansic: 57; sed: 39

Folder: Examples

d .. (parent)
- - rw-r--r-- 9,574 borsuk.ml
- - rw-r--r-- 71,816 brunn_minkowski.ml
- - rw-r--r-- 7,060 combin.ml
- - rw-r--r-- 6,356 cong.ml
- - rw-r--r-- 63,709 cooper.ml
- - rw-r--r-- 16,316 dlo.ml
- - rw-r--r-- 4,487 forster.ml
- - rw-r--r-- 39,452 hol88.ml
- - rw-r--r-- 34,270 holby.ml
- - rw-r--r-- 21,582 inverse_bug_puzzle_miz3.ml
- - rw-r--r-- 22,425 inverse_bug_puzzle_tac.ml
- - rw-r--r-- 13,037 kb.ml
- - rw-r--r-- 6,055 lagrange_lemma.ml
- - rw-r--r-- 38,143 machin.ml
- - rw-r--r-- 33,226 mangoldt.ml
- - rw-r--r-- 6,779 mccarthy.ml
- - rw-r--r-- 27,198 mizar.ml
- - rw-r--r-- 13,594 multiwf.ml
- - rw-r--r-- 110,659 pell.ml
- - rw-r--r-- 32,767 polylog.ml
- - rw-r--r-- 30,219 prog.ml
- - rw-r--r-- 23,724 prover9.ml
- - rw-r--r-- 15,882 rectypes.ml
- - rw-r--r-- 21,327 reduct.ml
- - rw-r--r-- 25,771 schnirelmann.ml
- - rw-r--r-- 17,753 solovay.ml
- - rw-r--r-- 76,298 sos.ml
- - rw-r--r-- 9,620 ste.ml
- - rw-r--r-- 13,002 sylvester_gallai.ml
- - rw-r--r-- 7,736 update_database.ml
- - rw-r--r-- 5,030 vitali.ml