| """Hosted Streamlit entrypoint for Hugging Face Spaces.""" | |
| from __future__ import annotations | |
| from pathlib import Path | |
| from mathvision_explorer.demo import create_demo_dataset | |
| from mathvision_explorer.streamlit_app import main | |
| create_demo_dataset(Path("data/demo")) | |
| main() | |