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 |
|---|---|---|
| arithmetic.ml | -rw-r--r-- | 646 bytes |
| arithmetic_geometric_mean.ml | -rw-r--r-- | 4.6 KB |
| ballot.ml | -rw-r--r-- | 15.4 KB |
| bernoulli.ml | -rw-r--r-- | 11.9 KB |
| bertrand.ml | -rw-r--r-- | 129.9 KB |
| birthday.ml | -rw-r--r-- | 10.9 KB |
| cantor.ml | -rw-r--r-- | 4.1 KB |
| cayley_hamilton.ml | -rw-r--r-- | 16.4 KB |
| ceva.ml | -rw-r--r-- | 10.4 KB |
| chords.ml | -rw-r--r-- | 2.9 KB |
| circle.ml | -rw-r--r-- | 6.9 KB |
| combinations.ml | -rw-r--r-- | 1.0 KB |
| constructible.ml | -rw-r--r-- | 41.9 KB |
| cosine.ml | -rw-r--r-- | 9.8 KB |
| cubic.ml | -rw-r--r-- | 4.3 KB |
| derangements.ml | -rw-r--r-- | 26.6 KB |
| desargues.ml | -rw-r--r-- | 15.9 KB |
| descartes.ml | -rw-r--r-- | 41.5 KB |
| dirichlet.ml | -rw-r--r-- | 103.6 KB |
| div3.ml | -rw-r--r-- | 1.2 KB |
| divharmonic.ml | -rw-r--r-- | 3.7 KB |
| e_is_transcendental.ml | -rw-r--r-- | 129.4 KB |
| euler.ml | -rw-r--r-- | 18.4 KB |
| feuerbach.ml | -rw-r--r-- | 10.9 KB |
| four_squares.ml | -rw-r--r-- | 42.4 KB |
| fourier.ml | -rw-r--r-- | 227.9 KB |
| friendship.ml | -rw-r--r-- | 36.5 KB |
| fta.ml | -rw-r--r-- | 8.2 KB |
| gcd.ml | -rw-r--r-- | 1.8 KB |
| heron.ml | -rw-r--r-- | 1.8 KB |
| inclusion_exclusion.ml | -rw-r--r-- | 20.8 KB |
| independence.ml | -rw-r--r-- | 40.7 KB |
| isosceles.ml | -rw-r--r-- | 10.8 KB |
| konigsberg.ml | -rw-r--r-- | 10.0 KB |
| lagrange.ml | -rw-r--r-- | 11.4 KB |
| leibniz.ml | -rw-r--r-- | 14.5 KB |
| lhopital.ml | -rw-r--r-- | 9.5 KB |
| liouville.ml | -rw-r--r-- | 19.7 KB |
| minkowski.ml | -rw-r--r-- | 16.9 KB |
| morley.ml | -rw-r--r-- | 21.8 KB |
| pascal.ml | -rw-r--r-- | 26.0 KB |
| perfect.ml | -rw-r--r-- | 13.0 KB |
| pick.ml | -rw-r--r-- | 182.3 KB |
| piseries.ml | -rw-r--r-- | 154.2 KB |
| platonic.ml | -rw-r--r-- | 112.6 KB |
| pnt.ml | -rw-r--r-- | 211.4 KB |
| polyhedron.ml | -rw-r--r-- | 109.1 KB |
| primerecip.ml | -rw-r--r-- | 10.2 KB |
| ptolemy.ml | -rw-r--r-- | 3.3 KB |
| pythagoras.ml | -rw-r--r-- | 1.4 KB |
| quartic.ml | -rw-r--r-- | 8.4 KB |
| ramsey.ml | -rw-r--r-- | 51.2 KB |
| ratcountable.ml | -rw-r--r-- | 3.1 KB |
| realsuncountable.ml | -rw-r--r-- | 11.8 KB |
| reciprocity.ml | -rw-r--r-- | 35.5 KB |
| sqrt.ml | -rw-r--r-- | 2.1 KB |
| stirling.ml | -rw-r--r-- | 28.5 KB |
| subsequence.ml | -rw-r--r-- | 6.7 KB |
| thales.ml | -rw-r--r-- | 4.0 KB |
| triangular.ml | -rw-r--r-- | 3.4 KB |
| two_squares.ml | -rw-r--r-- | 9.9 KB |
| wilson.ml | -rw-r--r-- | 9.0 KB |
