TFW the SPARK (Z3) prover says it's fine after editing more than one line. pic.twitter.com/T39vWol8qI
13 September 2021 at 20:25
TFW the SPARK (Z3) prover says it's fine after editing more than one line. pic.twitter.com/T39vWol8qI
TFW the SPARK (Z3) prover says it's fine after editing more than one line. pic.twitter.com/T39vWol8qI