Spaces:

SZLHOLDINGS
/

lutar-lean-browser

Configuration error

810 kB

Ctrl+K

1 contributor

100x visual upgrade: True Anomaly + Anthropic aesthetic, run-in-30s snippet, trace receipt sample, mermaid architecture, performance numbers — Doctrine v6

fc3a84a verified about 6 hours ago

__pycache__
fix: colorFrom violet → purple (valid HF value) about 23 hours ago
theorems
feat: ship actual Lean 4 source to theorems/ — View Source ready about 23 hours ago
.gitattributes

1.52 kB
initial commit about 23 hours ago
LICENSE

11.4 kB
fix: colorFrom violet → purple (valid HF value) about 23 hours ago
README.md

1.79 kB
100x visual upgrade: True Anomaly + Anthropic aesthetic, run-in-30s snippet, trace receipt sample, mermaid architecture, performance numbers — Doctrine v6 about 6 hours ago
app.py

23.1 kB
fix(v4): Series A — fix language=haskell crash, add chapter nav, stats tab, About tab; all 375 source_paths wired about 22 hours ago
requirements.txt

400 Bytes
[Showcase F] Upgrade: tabs, fuzzy search, bar chart, detail panel, BibTeX footer about 23 hours ago
theorem_browser_screenshot.png

25.5 kB
fix: colorFrom violet → purple (valid HF value) about 23 hours ago
theorems_index.json

268 kB
fix(index): add source_sha256 to all 375 entries — Series A complete about 22 hours ago