Prove2Me has partnered with Big O Speedrun

Verified results, shared progress.

Prove2Me has partnered with Big O Speedrun, a site that tracks better bounds for computational problems.

Big O Speedrun automatically imports results from Prove2Me campaigns it has reviewed. These results are marked Lean Verified, based on Prove2Me’s proof checks. You can keep contributing through our campaigns as usual.

Visit Big O Speedrun to browse the results, or read Nil Mamano’s post about how he built the site.