adding html based to dos

app.py

@@ -91,11 +91,13 @@ with gr.Blocks(css = custom_css) as demo:
                 1. If you are interested in collaborating with us, to explore more on the datasets, prompts or models, feel free to reach out to me on the mail address [E-mail](mailto:[email protected])""")
         
     gr.HTML("<h3> To do</h3>")
-    gr.Markdown("""
-    - [x] Launching the leaderboard
-    - [ ] Add link to the huggingface models
-    - [ ] Enhance the table layouts
-    - [ ] Add more datasets
-    - [ ] Add more prompting techniques
+    gr.HTML("""
+    <ul>
+        <li><input type="checkbox" checked disabled> Launching the leaderboard</li>
+        <li><input type="checkbox" disabled> Add link to the huggingface models</li>
+        <li><input type="checkbox" disabled> Enhance the table layouts</li>
+        <li><input type="checkbox" disabled> Add more datasets</li>
+        <li><input type="checkbox" disabled> Add more prompting techniques</li>
+    </ul>
     """)
 demo.launch()