package info (click to toggle)
hol-light 1%3A3.1.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 49,876 kB
  • sloc: ml: 752,857; cpp: 439; makefile: 420; sh: 380; lisp: 286; java: 279; yacc: 108; perl: 78; ansic: 57; python: 53; sed: 39

Folder: Examples

d .. (parent)
- - rw-r--r-- 13,730 bdd_examples.ml
- - rw-r--r-- 22,972 bitblast.ml
- - rw-r--r-- 8,979 bitblast_generic.ml
- - rw-r--r-- 3,807 bondy.ml
- - rw-r--r-- 9,567 borsuk.ml
- - rw-r--r-- 70,727 brunn_minkowski.ml
- - rw-r--r-- 7,059 combin.ml
- - rw-r--r-- 6,430 complexpolygon.ml
- - rw-r--r-- 6,356 cong.ml
- - rw-r--r-- 63,662 cooper.ml
- - rw-r--r-- 2,885 dickson.ml
- - rwxr-xr-x 34,404 digit_serial_methods.ml
- - rw-r--r-- 38,061 division_algebras.ml
- - rw-r--r-- 16,317 dlo.ml
- - rw-r--r-- 4,487 forster.ml
- - rw-r--r-- 10,706 gcdrecurrence.ml
- - rw-r--r-- 6,319 harmonicsum.ml
- - rw-r--r-- 39,457 hol88.ml
- - rw-r--r-- 34,270 holby.ml
- - rw-r--r-- 21,581 inverse_bug_puzzle_miz3.ml
- - rw-r--r-- 22,434 inverse_bug_puzzle_tac.ml
- - rw-r--r-- 13,046 kb.ml
- - rw-r--r-- 6,055 lagrange_lemma.ml
- - rw-r--r-- 18,743 lucas_lehmer.ml
- - rw-r--r-- 38,144 machin.ml
- - rw-r--r-- 33,226 mangoldt.ml
- - rw-r--r-- 6,619 mccarthy.ml
- - rw-r--r-- 36,085 miller_rabin.ml
- - rw-r--r-- 66,478 misiurewicz.ml
- - rw-r--r-- 27,150 mizar.ml
- - rw-r--r-- 14,961 multiwf.ml
- - rw-r--r-- 57,554 padics.ml
- - rw-r--r-- 110,775 pell.ml
- - rw-r--r-- 32,767 polylog.ml
- - rw-r--r-- 30,274 prog.ml
- - rw-r--r-- 24,088 prover9.ml
- - rw-r--r-- 52,522 pseudoprime.ml
- - rw-r--r-- 15,882 rectypes.ml
- - rw-r--r-- 19,485 reduct.ml
- - rw-r--r-- 2,462 safetyliveness.ml
- - rw-r--r-- 25,771 schnirelmann.ml
- - rw-r--r-- 17,754 solovay.ml
- - rw-r--r-- 76,299 sos.ml
- - rw-r--r-- 9,620 ste.ml
- - rw-r--r-- 13,001 sylvester_gallai.ml
- - rw-r--r-- 7,738 update_database.ml
- - rw-r--r-- 5,030 vitali.ml
- - rw-r--r-- 13,197 zolotarev.ml