apery

apery copied to clipboard

Apparently, the recent introduction of number notations or MC2 triggered a slowdown of compilation. So I suggest doing the following two benchmarks: - A performance comparison (timed diff) of apery...

pi8027

License

2

Apery is under the CeCILL-C license. This is a weak-copyleft license from the CeCILL family. While the basic CeCILL (v2) license is GPL-compatible, CeCILL-C suffers from the same issues as...

Zimmi48

Missing opam package

1

amahboubi

Clean up extra_*.v material

2

Tidy the missing-at-the-time-of-writing material: a few petty lemmas plus some results on Cauchy reals.

amahboubi

adapt to MC#1256

1

https://github.com/math-comp/math-comp/pull/1256 changes the behavior of rewrite (seemingly because it generalizes some operations). This PR makes the necessary changes to keep compiling. The CI is supposed to fail because we need...

Tragicus