Austin Chen 37b8cc9687 Show a top 5 leaderboard on resolved markets (#66) ... * Show a top5 leaderboard on resolved markets * Only show profitable traders * Include sales in profits * Copy Leaderboard styling * Also show the top comment and trade * Fix padding for solo bets * Only show both comment & bet if they differ		2022-03-20 18:07:45 -07:00
..
firebase	Show a top 5 leaderboard on resolved markets (#66)	2022-03-20 18:07:45 -07:00
service	Merge Manifold for Teams infra into main codebase (#61)	2022-03-08 18:43:30 -08:00
simulator	Sell bets (#12)	2021-12-24 15:06:01 -06:00
util	Resolve prob (#41)	2022-01-30 15:51:30 -06:00