File | Mode | Size |
---|---|---|
.github | ||
100 | ||
Arithmetic | ||
Boyer_Moore | ||
Cadical | ||
Complex | ||
Divstep | ||
EC | ||
Examples | ||
Formal_ineqs | ||
Functionspaces | ||
GL | ||
Geometric_Algebra | ||
Help | ||
IEEE | ||
IsabelleLight | ||
Jordan | ||
LP_arith | ||
Library | ||
Logic | ||
Minisat | ||
Mizarlight | ||
Model | ||
Multivariate | ||
Ntrie | ||
Permutation | ||
ProofTrace | ||
Proofrecording | ||
QBF | ||
Quaternions | ||
RichterHilbertAxiomGeometry | ||
Rqe | ||
Tutorial | ||
Unity | ||
miz3 | ||
pa_j | ||
.gitattributes | -rw-r--r-- | 57 bytes |
.gitignore | -rw-r--r-- | 82 bytes |
CHANGES | -rw-r--r-- | 988.8 KB |
LICENSE | -rw-r--r-- | 1.6 KB |
Makefile | -rw-r--r-- | 10.5 KB |
QUICK_REFERENCE.txt | -rw-r--r-- | 90.5 KB |
README | -rw-r--r-- | 9.8 KB |
VERYQUICK_REFERENCE.txt | -rw-r--r-- | 19.3 KB |
arith.ml | -rw-r--r-- | 73.7 KB |
basics.ml | -rwxr-xr-x | 17.6 KB |
bignum_num.ml | -rw-r--r-- | 636 bytes |
bignum_zarith.ml | -rw-r--r-- | 3.6 KB |
bool.ml | -rw-r--r-- | 17.4 KB |
calc_int.ml | -rw-r--r-- | 14.8 KB |
calc_num.ml | -rw-r--r-- | 68.1 KB |
calc_rat.ml | -rw-r--r-- | 28.0 KB |
canon.ml | -rw-r--r-- | 33.1 KB |
cart.ml | -rw-r--r-- | 29.7 KB |
class.ml | -rwxr-xr-x | 19.7 KB |
compute.ml | -rw-r--r-- | 27.7 KB |
database.ml | -rw-r--r-- | 91.0 KB |
define.ml | -rw-r--r-- | 44.7 KB |
doc-to-help.sed | -rw-r--r-- | 971 bytes |
drule.ml | -rw-r--r-- | 23.7 KB |
equal.ml | -rw-r--r-- | 12.2 KB |
firstorder.ml | -rw-r--r-- | 8.2 KB |
fusion.ml | -rw-r--r-- | 27.9 KB |
grobner.ml | -rw-r--r-- | 33.1 KB |
help.ml | -rwxr-xr-x | 5.7 KB |
hol.ml | -rw-r--r-- | 10.5 KB |
hol_4.14.sh | -rwxr-xr-x | 554 bytes |
hol_4.sh | -rwxr-xr-x | 598 bytes |
holtest | -rwxr-xr-x | 18.0 KB |
holtest.mk | -rw-r--r-- | 8.3 KB |
holtest_parallel | -rwxr-xr-x | 1.2 KB |
impconv.ml | -rw-r--r-- | 64.6 KB |
ind_defs.ml | -rw-r--r-- | 19.9 KB |
ind_types.ml | -rwxr-xr-x | 71.1 KB |
int.ml | -rwxr-xr-x | 113.6 KB |
itab.ml | -rw-r--r-- | 3.8 KB |
iterate.ml | -rw-r--r-- | 128.7 KB |
lib.ml | -rwxr-xr-x | 28.9 KB |
lists.ml | -rw-r--r-- | 31.5 KB |
load_camlp4.ml | -rw-r--r-- | 54 bytes |
load_camlp5.ml | -rw-r--r-- | 88 bytes |
load_camlp5_topfind.ml | -rw-r--r-- | 324 bytes |
make.ml | -rw-r--r-- | 2.5 KB |
meson.ml | -rw-r--r-- | 36.1 KB |
metis.ml | -rw-r--r-- | 331.0 KB |
nets.ml | -rw-r--r-- | 5.5 KB |
normalizer.ml | -rw-r--r-- | 24.4 KB |
nums.ml | -rw-r--r-- | 13.5 KB |
pair.ml | -rwxr-xr-x | 20.0 KB |
parser.ml | -rw-r--r-- | 23.4 KB |
preterm.ml | -rw-r--r-- | 20.0 KB |
printer.ml | -rwxr-xr-x | 25.9 KB |
quot.ml | -rw-r--r-- | 8.0 KB |
real.ml | -rw-r--r-- | 69.0 KB |
realarith.ml | -rw-r--r-- | 26.5 KB |
realax.ml | -rw-r--r-- | 87.2 KB |
recursion.ml | -rw-r--r-- | 5.5 KB |
sets.ml | -rw-r--r-- | 205.3 KB |
simp.ml | -rw-r--r-- | 24.1 KB |
system.ml | -rw-r--r-- | 1.2 KB |
tactics.ml | -rw-r--r-- | 36.7 KB |
thecops.ml | -rw-r--r-- | 53.4 KB |
theorems.ml | -rwxr-xr-x | 20.2 KB |
trivia.ml | -rw-r--r-- | 3.4 KB |
update_database_3.ml | -rwxr-xr-x | 8.8 KB |
update_database_4.14.ml | -rwxr-xr-x | 5.5 KB |
update_database_4.ml | -rwxr-xr-x | 8.5 KB |
update_database_5.ml | -rwxr-xr-x | 1.2 KB |
wf.ml | -rw-r--r-- | 20.3 KB |