Spaces:

SZLHOLDINGS
/

lean-proof-playground

Running

App Files Files Community

lean-proof-playground

620 kB

Ctrl+K

Ctrl+K

1 contributor

History: 11 commits

betterwithage's picture

Fix YAML metadata: short_description length, colorTo value — Doctrine v6

9344597 verified about 6 hours ago

theorems
rebuild: doctrine-v6 compliant — canonical counts, 6 correct tabs, honest sorry/axiom disclosure about 21 hours ago
.gitattributes

1.52 kB
initial commit about 21 hours ago
README.md

3.45 kB
Fix YAML metadata: short_description length, colorTo value — Doctrine v6 about 6 hours ago
app.py

41.5 kB
fix: remove invalid scale= from gr.Markdown (not supported in Gradio 5.9.1) about 21 hours ago
requirements.txt

45 Bytes
initial: Lean proof playground — interactive thesis exploration about 21 hours ago