Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / hol-light
Commits:
-
af696434
by Stephane Glondu at 2023-01-31T10:50:33+01:00
16 changed files:
- 100/arithmetic.ml
- 100/arithmetic_geometric_mean.ml
- 100/ballot.ml
- 100/bertrand.ml
- 100/cantor.ml
- 100/combinations.ml
- 100/constructible.ml
- 100/cubic.ml
- 100/descartes.ml
- 100/dirichlet.ml
- 100/e_is_transcendental.ml
- 100/four_squares.ml
- 100/fourier.ml
- 100/friendship.ml
- 100/heron.ml
- 100/independence.ml