https://github.com/JacquesCarette/hol-light
Tip revision: b27a524086caf73530b7c2c5da1b237d3539f143 authored by Jacques Carette on 24 August 2020, 14:18:07 UTC
Merge pull request #35 from sjjs7/final-changes
Merge pull request #35 from sjjs7/final-changes
Tip revision: b27a524
| File | Mode | Size |
|---|---|---|
| borsuk.ml | -rw-r--r-- | 9.3 KB |
| brunn_minkowski.ml | -rw-r--r-- | 69.1 KB |
| combin.ml | -rw-r--r-- | 6.9 KB |
| cong.ml | -rw-r--r-- | 6.2 KB |
| cooper.ml | -rw-r--r-- | 62.2 KB |
| dickson.ml | -rw-r--r-- | 2.8 KB |
| digit_serial_methods.ml | -rwxr-xr-x | 33.6 KB |
| division_algebras.ml | -rw-r--r-- | 37.2 KB |
| dlo.ml | -rw-r--r-- | 15.9 KB |
| forster.ml | -rw-r--r-- | 4.4 KB |
| gcdrecurrence.ml | -rw-r--r-- | 10.5 KB |
| harmonicsum.ml | -rw-r--r-- | 6.2 KB |
| hol88.ml | -rw-r--r-- | 38.5 KB |
| holby.ml | -rw-r--r-- | 33.5 KB |
| inverse_bug_puzzle_miz3.ml | -rw-r--r-- | 21.1 KB |
| inverse_bug_puzzle_tac.ml | -rw-r--r-- | 21.9 KB |
| kb.ml | -rw-r--r-- | 12.7 KB |
| lagrange_lemma.ml | -rw-r--r-- | 5.9 KB |
| lucas_lehmer.ml | -rw-r--r-- | 18.3 KB |
| machin.ml | -rw-r--r-- | 37.2 KB |
| mangoldt.ml | -rw-r--r-- | 32.4 KB |
| mccarthy.ml | -rw-r--r-- | 6.6 KB |
| miller_rabin.ml | -rw-r--r-- | 35.2 KB |
| misiurewicz.ml | -rw-r--r-- | 64.9 KB |
| mizar.ml | -rw-r--r-- | 26.5 KB |
| multiwf.ml | -rw-r--r-- | 14.6 KB |
| nist_curves.ml | -rw-r--r-- | 121.9 KB |
| padics.ml | -rw-r--r-- | 56.2 KB |
| pell.ml | -rw-r--r-- | 108.2 KB |
| polylog.ml | -rw-r--r-- | 32.0 KB |
| prog.ml | -rw-r--r-- | 29.6 KB |
| prover9.ml | -rw-r--r-- | 23.5 KB |
| pseudoprime.ml | -rw-r--r-- | 51.3 KB |
| rectypes.ml | -rw-r--r-- | 15.5 KB |
| reduct.ml | -rw-r--r-- | 19.0 KB |
| safetyliveness.ml | -rw-r--r-- | 2.4 KB |
| schnirelmann.ml | -rw-r--r-- | 25.2 KB |
| solovay.ml | -rw-r--r-- | 17.3 KB |
| sos.ml | -rw-r--r-- | 74.5 KB |
| ste.ml | -rw-r--r-- | 9.4 KB |
| sylvester_gallai.ml | -rw-r--r-- | 12.7 KB |
| update_database.ml | -rw-r--r-- | 7.6 KB |
| vitali.ml | -rw-r--r-- | 4.9 KB |
| zolotarev.ml | -rw-r--r-- | 12.9 KB |
