A competition focused on improving the performance of verified computation in the Lean 4 kernel.
All SAIR competitions ยท SAIR Foundation