still trying to make the leaderboard

app.py

@@ -32,6 +32,7 @@ def get_leaderboard():
 
     df.rename(columns={'submission_time': 'submission time', 'problem_type': 'problem type'}, inplace=True)
     df['user'] = df['user'].apply(lambda x: f'<a href="https://huggingface.co/{x}">{x}</a>')
+    df = df.to_html(escape=False, render_links=True)
 
     score_field = "score" if "score" in df.columns else "objective"  # fallback