nekton: A Linearizability Proof Checker. - Roland Meyer 001; Anton Opaterny; Thomas Wies; Sebastian Wolff 001 (CAV (1), 2023)