Read leaderboard for Lean Kernel Challenge - Stage 1. A competition focused on improving the performance of verified computation in the Lean 4 kernel.
All SAIR competitions ยท SAIR Foundation