The Leo-III prover, developed by Alexander Steen, postdoc at the University of Luxembourg, won the LTB division of the CASC theorem prover world championships! The event took place at the International Conference on Automated Deduction (CADE).
Congrats Alex!!!