File size: 274 Bytes
1275bb4
 
 
91ad7c2
1275bb4
91ad7c2
d73170d
1275bb4
 
 
 
 
 
8e61059
1
2
3
4
5
6
7
8
9
10
11
12
13
14
---
title: Demo Prover
emoji: 🐠
colorFrom: red
colorTo: yellow
sdk: streamlit
sdk_version: 1.40.2
app_file: app.py
pinned: false
license: mit
short_description: nl -> fl
---

Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference