nanoCoP-Omega: A Non-Clausal Connection Prover with Arithmetic. - Leo Repp; Mario Frank 002 (AReCCa@TABLEAUX, 2023)