MARCHE Claude 7e819237a6 unused dependencies on Euclidean div/mod

2024-10-23 15:10:58 +02:00

..

ac

Upgrade CVC3 proofs

2023-08-28 14:28:03 +02:00

array

Upgrade CVC3 proofs

2023-08-28 14:28:03 +02:00

bool

Upgrade CVC3 proofs

2023-08-28 14:28:03 +02:00

euclideandivision

unused dependencies on Euclidean div/mod

2024-10-23 15:10:58 +02:00

floats

Fix session timings on moloch

2023-10-23 09:18:45 +02:00

int

Fix session timings on moloch

2023-10-23 09:18:45 +02:00

intreal

Fix session timings on moloch

2023-10-23 09:18:45 +02:00

minmax

Upgrade CVC3 proofs

2023-08-28 14:28:03 +02:00

propositional

Upgrade CVC3 proofs

2023-08-28 14:28:03 +02:00

real

Support for Coq 8.19.2

2024-10-03 11:19:54 +02:00

ac.why

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

array.why

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

bool.why

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

euclideandivision.why

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

floats.why

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

int.why

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

intreal.why

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

minmax.why

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

propositional.why

several changes in syntax

2011-06-29 19:13:18 +02:00

real.why

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00