add leaderboards to docs (#697)
* add leaderboards to docs * proof * change order of libraries * respond to feedback
B
burtenshaw committed
ba161f53a64b1962bb891df0764443436e9a66a7
Parent: 8fd64d2
Committed by GitHub <noreply@github.com>
on 8/14/2025, 8:45:08 AM