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 |
|---|---|---|
| canal.ml | -rw-r--r-- | 180.6 KB |
| cauchy.ml | -rw-r--r-- | 1.2 MB |
| clifford.ml | -rw-r--r-- | 43.9 KB |
| complex_database.ml | -rw-r--r-- | 957.9 KB |
| complexes.ml | -rw-r--r-- | 84.8 KB |
| convex.ml | -rw-r--r-- | 861.0 KB |
| cross.ml | -rw-r--r-- | 9.9 KB |
| cvectors.ml | -rw-r--r-- | 81.4 KB |
| degree.ml | -rw-r--r-- | 462.6 KB |
| derivatives.ml | -rw-r--r-- | 280.4 KB |
| determinants.ml | -rw-r--r-- | 226.3 KB |
| flyspeck.ml | -rw-r--r-- | 327.5 KB |
| gamma.ml | -rw-r--r-- | 189.7 KB |
| geom.ml | -rw-r--r-- | 56.4 KB |
| homology.ml | -rw-r--r-- | 561.5 KB |
| integration.ml | -rw-r--r-- | 1.2 MB |
| lpspaces.ml | -rw-r--r-- | 63.3 KB |
| make.ml | -rw-r--r-- | 2.3 KB |
| make_complex.ml | -rw-r--r-- | 3.1 KB |
| measure.ml | -rw-r--r-- | 1.5 MB |
| metric.ml | -rw-r--r-- | 1.6 MB |
| misc.ml | -rw-r--r-- | 116.9 KB |
| moretop.ml | -rw-r--r-- | 385.6 KB |
| msum.ml | -rw-r--r-- | 22.9 KB |
| multivariate_database.ml | -rw-r--r-- | 792.5 KB |
| paths.ml | -rw-r--r-- | 1.4 MB |
| polytope.ml | -rw-r--r-- | 426.5 KB |
| realanalysis.ml | -rw-r--r-- | 796.5 KB |
| specialtopologies.ml | -rw-r--r-- | 28.0 KB |
| tarski.ml | -rw-r--r-- | 13.5 KB |
| topology.ml | -rw-r--r-- | 1.6 MB |
| transcendentals.ml | -rw-r--r-- | 339.0 KB |
| vectors.ml | -rw-r--r-- | 463.4 KB |
| wlog.ml | -rw-r--r-- | 18.1 KB |
| wlog_examples.ml | -rw-r--r-- | 33.5 KB |
