Thu, 07 Oct 2021 16:28:17 +0200 merged
desharna [Thu, 07 Oct 2021 16:28:17 +0200] rev 74860
merged
Thu, 07 Oct 2021 10:16:52 +0200 added timeout to veriT
desharna [Thu, 07 Oct 2021 10:16:52 +0200] rev 74859
added timeout to veriT
Wed, 06 Oct 2021 14:19:46 +0200 new notion of infinite sums in HOL-Analysis, ordering on complex numbers
eberlm <eberlm@in.tum.de> [Wed, 06 Oct 2021 14:19:46 +0200] rev 74858
new notion of infinite sums in HOL-Analysis, ordering on complex numbers
Thu, 07 Oct 2021 10:34:48 +0200 NEWS and CONTRIBUTORS
desharna [Thu, 07 Oct 2021 10:34:48 +0200] rev 74857
NEWS and CONTRIBUTORS
Thu, 07 Oct 2021 10:16:52 +0200 added timeout to veriT draft
desharna [Thu, 07 Oct 2021 10:16:52 +0200] rev 74856
added timeout to veriT
Thu, 07 Oct 2021 10:20:10 +0200 merged
desharna [Thu, 07 Oct 2021 10:20:10 +0200] rev 74855
merged
Wed, 06 Oct 2021 21:37:59 +0200 include arm64-linux;
wenzelm [Wed, 06 Oct 2021 21:37:59 +0200] rev 74854
include arm64-linux;
Wed, 06 Oct 2021 21:18:00 +0200 updated to Vampire 4.6, as proposed by Martin Desharnais;
wenzelm [Wed, 06 Oct 2021 21:18:00 +0200] rev 74853
updated to Vampire 4.6, as proposed by Martin Desharnais;
Wed, 06 Oct 2021 20:26:08 +0200 build from official downloads;
wenzelm [Wed, 06 Oct 2021 20:26:08 +0200] rev 74852
build from official downloads;
Wed, 06 Oct 2021 13:28:11 +0200 build just one vampire version;
wenzelm [Wed, 06 Oct 2021 13:28:11 +0200] rev 74851
build just one vampire version;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip