import marimo

__generated_with = "0.25.1"
app = marimo.App()

with app.setup:
    import marimo as mo


@app.cell(hide_code=True)
def _():
    mo.md("""
    # leaderboard
    """)
    return


if __name__ == "__main__":
    app.run()