package info (click to toggle)
hol-light 20230128-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 45,636 kB
  • sloc: ml: 688,681; cpp: 439; makefile: 302; lisp: 286; java: 279; sh: 251; yacc: 108; perl: 78; ansic: 57; sed: 39; python: 13

Folder: 20230128-1

show hidden (1)
d .. (parent)
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 4,096 Complex
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
- - rw-r--r-- 57 .gitattributes
- - rw-r--r-- 58 .gitignore
- - rw-r--r-- 930,659 CHANGES
- - rw-r--r-- 1,631 LICENSE
- - rw-r--r-- 9,159 Makefile
- - rw-r--r-- 92,684 QUICK_REFERENCE.txt
- - rw-r--r-- 10,915 README
- - rw-r--r-- 19,738 VERYQUICK_REFERENCE.txt
- - rw-r--r-- 74,881 arith.ml
- - rw-r--r-- 17,311 basics.ml
- - rw-r--r-- 17,594 bool.ml
- - rw-r--r-- 15,058 calc_int.ml
- - rw-r--r-- 69,661 calc_num.ml
- - rw-r--r-- 28,520 calc_rat.ml
- - rw-r--r-- 33,849 canon.ml
- - rw-r--r-- 29,585 cart.ml
- - rw-r--r-- 20,047 class.ml
- - rw-r--r-- 28,387 compute.ml
- - rw-r--r-- 92,674 database.ml
- - rw-r--r-- 45,553 define.ml
- - rw-r--r-- 971 doc-to-help.sed
- - rw-r--r-- 24,402 drule.ml
- - rw-r--r-- 12,542 equal.ml
- - rw-r--r-- 8,383 firstorder.ml
- - rw-r--r-- 28,565 fusion.ml
- - rw-r--r-- 33,926 grobner.ml
- - rw-r--r-- 5,805 help.ml
- - rw-r--r-- 9,445 hol.ml
- - rwxr-xr-x 17,629 holtest
- - rw-r--r-- 7,738 holtest.mk
- - rwxr-xr-x 1,281 holtest_parallel
- - rw-r--r-- 66,157 impconv.ml
- - rw-r--r-- 20,329 ind_defs.ml
- - rw-r--r-- 72,815 ind_types.ml
- - rw-r--r-- 109,144 int.ml
- - rw-r--r-- 3,877 itab.ml
- - rw-r--r-- 131,239 iterate.ml
- - rw-r--r-- 29,537 lib.ml
- - rw-r--r-- 31,416 lists.ml
- - rw-r--r-- 2,542 make.ml
- - rw-r--r-- 37,012 meson.ml
- - rw-r--r-- 338,991 metis.ml
- - rw-r--r-- 5,697 nets.ml
- - rw-r--r-- 24,959 normalizer.ml
- - rw-r--r-- 13,786 nums.ml
- - rw-r--r-- 85,259 pa_j_3.07.ml
- - rw-r--r-- 77,696 pa_j_3.08.ml
- - rw-r--r-- 78,877 pa_j_3.09.ml
- - rw-r--r-- 69,131 pa_j_3.1x_5.xx.ml
- - rw-r--r-- 96,939 pa_j_3.1x_6.02.1.ml
- - rw-r--r-- 96,826 pa_j_3.1x_6.02.2.ml
- - rw-r--r-- 100,835 pa_j_3.1x_6.11.ml
- - rw-r--r-- 96,824 pa_j_3.1x_6.xx.ml
- - rw-r--r-- 100,960 pa_j_4.xx_7.06.ml
- - rwxr-xr-x 100,968 pa_j_4.xx_7.xx.ml
- - rwxr-xr-x 136,910 pa_j_4.xx_8.00.ml
- - rw-r--r-- 20,199 pair.ml
- - rw-r--r-- 23,985 parser.ml
- - rw-r--r-- 19,701 preterm.ml
- - rw-r--r-- 25,380 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,342 realax.ml
- - rw-r--r-- 5,682 recursion.ml
- - rw-r--r-- 205,323 sets.ml
- - rw-r--r-- 24,670 simp.ml
- - rw-r--r-- 2,460 system.ml
- - rw-r--r-- 36,650 tactics.ml
- - rw-r--r-- 54,666 thecops.ml
- - rw-r--r-- 20,644 theorems.ml
- - rw-r--r-- 3,518 trivia.ml
- - rwxr-xr-x 9,027 update_database_3.ml
- - rwxr-xr-x 5,337 update_database_4.14.ml
- - rwxr-xr-x 8,662 update_database_4.ml
- - rw-r--r-- 20,719 wf.ml