haftmann [Tue, 06 Feb 2024 18:08:43 +0000] rev 79585
more lemmas and more correct lemma names
paulson <lp15@cam.ac.uk> [Wed, 07 Feb 2024 11:57:22 +0000] rev 79584
NEWS: corrected the definition of convexity of functions
paulson <lp15@cam.ac.uk> [Wed, 07 Feb 2024 11:52:34 +0000] rev 79583
Further lemmas concerning complexity and measures
paulson <lp15@cam.ac.uk> [Tue, 06 Feb 2024 15:29:10 +0000] rev 79582
Correct the definition of a convex function, and updated the proofs
wenzelm [Mon, 05 Feb 2024 22:03:43 +0100] rev 79581
merged;
wenzelm [Mon, 05 Feb 2024 21:49:26 +0100] rev 79580
update to windows_app-20240205, with executables for linux, linux_arm, macos;
wenzelm [Mon, 05 Feb 2024 13:03:06 +0100] rev 79579
omit redundant options;
wenzelm [Mon, 05 Feb 2024 12:59:34 +0100] rev 79578
tuned README;
wenzelm [Mon, 05 Feb 2024 12:13:35 +0100] rev 79577
uniform build of binutils for linux, linux_arm, macos;
Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> [Fri, 19 Jan 2024 13:56:26 +0100] rev 79576
fix reconstruction of Alethe's and_pos rule