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: 1:3.1.0-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 30 .github
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 4,096 100
d d rwxr-xr-x 4,096 Arithmetic
d d rwxr-xr-x 4,096 Boyer_Moore
d d rwxr-xr-x 140 Cadical
d d rwxr-xr-x 4,096 Complex
d d rwxr-xr-x 4,096 Divstep
d d rwxr-xr-x 4,096 EC
d d rwxr-xr-x 4,096 Examples
d d rwxr-xr-x 4,096 Formal_ineqs
d d rwxr-xr-x 103 Functionspaces
d d rwxr-xr-x 4,096 GL
d d rwxr-xr-x 100 Geometric_Algebra
d d rwxr-xr-x 32,768 Help
d d rwxr-xr-x 4,096 IEEE
d d rwxr-xr-x 137 IsabelleLight
d d rwxr-xr-x 4,096 Jordan
d d rwxr-xr-x 129 LP_arith
d d rwxr-xr-x 4,096 Library
d d rwxr-xr-x 4,096 Logic
d d rwxr-xr-x 4,096 Minisat
d d rwxr-xr-x 132 Mizarlight
d d rwxr-xr-x 93 Model
d d rwxr-xr-x 4,096 Multivariate
d d rwxr-xr-x 29 Ntrie
d d rwxr-xr-x 154 Permutation
d d rwxr-xr-x 93 ProofTrace
d d rwxr-xr-x 79 Proofrecording
d d rwxr-xr-x 101 QBF
d d rwxr-xr-x 4,096 Quaternions
d d rwxr-xr-x 4,096 RichterHilbertAxiomGeometry
d d rwxr-xr-x 4,096 Rqe
d d rwxr-xr-x 4,096 Tutorial
d d rwxr-xr-x 4,096 Unity
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 miz3
d d rwxr-xr-x 4,096 pa_j
d d rwxr-xr-x 137 update_database
- - rw-r--r-- 57 .gitattributes
- - rw-r--r-- 309 .gitignore
- - rw-r--r-- 1,038,341 CHANGES
- - rw-r--r-- 1,631 LICENSE
- - rw-r--r-- 166 META
- - rw-r--r-- 15,907 Makefile
- - rw-r--r-- 92,684 QUICK_REFERENCE.txt
- - rw-r--r-- 11,731 README
- - rw-r--r-- 19,738 VERYQUICK_REFERENCE.txt
- - rw-r--r-- 75,490 arith.ml
- - rwxr-xr-x 18,023 basics.ml
- - rw-r--r-- 636 bignum_num.ml
- - rw-r--r-- 3,854 bignum_zarith.ml
- - rw-r--r-- 18,639 bool.ml
- - rw-r--r-- 15,636 calc_int.ml
- - rw-r--r-- 70,232 calc_num.ml
- - rw-r--r-- 29,108 calc_rat.ml
- - rw-r--r-- 33,849 canon.ml
- - rw-r--r-- 30,398 cart.ml
- - rwxr-xr-x 20,149 class.ml
- - rw-r--r-- 29,260 compute.ml
- - rw-r--r-- 93,662 database.ml
- - rw-r--r-- 47,390 define.ml
- - rw-r--r-- 971 doc-to-help.sed
- - rw-r--r-- 24,270 drule.ml
- - rw-r--r-- 12,849 equal.ml
- - rw-r--r-- 8,383 firstorder.ml
- - rw-r--r-- 28,539 fusion.ml
- - rw-r--r-- 33,926 grobner.ml
- - rwxr-xr-x 5,796 help.ml
- - rw-r--r-- 4,212 hol.ml
- - rwxr-xr-x 976 hol_4.14.sh
- - rwxr-xr-x 1,020 hol_4.sh
- - rw-r--r-- 7,204 hol_lib.ml
- - rw-r--r-- 983 hol_lib_use_module.ml
- - rw-r--r-- 4,943 hol_loader.ml
- - rwxr-xr-x 19,014 holtest
- - rw-r--r-- 8,632 holtest.mk
- - rwxr-xr-x 1,269 holtest_parallel
- - rw-r--r-- 66,313 impconv.ml
- - rw-r--r-- 20,362 ind_defs.ml
- - rwxr-xr-x 72,838 ind_types.ml
- - rw-r--r-- 4,270 inline_load.ml
- - rwxr-xr-x 119,000 int.ml
- - rw-r--r-- 3,877 itab.ml
- - rw-r--r-- 131,828 iterate.ml
- - rwxr-xr-x 29,712 lib.ml
- - rw-r--r-- 38,789 lists.ml
- - rw-r--r-- 54 load_camlp4.ml
- - rw-r--r-- 88 load_camlp5.ml
- - rw-r--r-- 324 load_camlp5_topfind.ml
- - rwxr-xr-x 3,373 make-checkpoint.sh
- - rw-r--r-- 37,012 meson.ml
- - rw-r--r-- 338,947 metis.ml
- - rw-r--r-- 5,653 nets.ml
- - rw-r--r-- 24,959 normalizer.ml
- - rw-r--r-- 13,866 nums.ml
- - rw-r--r-- 2,704 opam
- - rwxr-xr-x 20,446 pair.ml
- - rw-r--r-- 23,985 parser.ml
- - rw-r--r-- 20,466 preterm.ml
- - rwxr-xr-x 31,604 printer.ml
- - rw-r--r-- 8,189 quot.ml
- - rw-r--r-- 70,683 real.ml
- - rw-r--r-- 27,151 realarith.ml
- - rw-r--r-- 89,502 realax.ml
- - rw-r--r-- 5,682 recursion.ml
- - rw-r--r-- 210,261 sets.ml
- - rw-r--r-- 24,670 simp.ml
- - rw-r--r-- 1,150 system.ml
- - rw-r--r-- 39,402 tactics.ml
- - rw-r--r-- 54,678 thecops.ml
- - rwxr-xr-x 20,650 theorems.ml
- - rw-r--r-- 3,661 trivia.ml
- - rw-r--r-- 8,203 unit_tests.ml
- - rw-r--r-- 20,737 wf.ml