Mon, 10 May 2021 17:15:37 +0200 | wenzelm | proper settings variable, amending 6e85281177df; | changeset | files |
Mon, 10 May 2021 16:26:15 +0200 | wenzelm | merged | changeset | files |
Mon, 10 May 2021 16:14:34 +0200 | wenzelm | tuned proofs --- avoid z3, which is absent on arm64-linux; | changeset | files |