Update leaderboard.html with additional proof metrics and improved de…#64

amit9oct merged 1 commit intomaintrishullab/clever:mainfrom

chore/leadboard-updatetrishullab/clever:chore/leadboard-updateCopy head branch name to clipboard