Spaces:

NorthernTribe-Research
/

math_conjecture_lean_ai_lab

Sleeping

App Files Files Community

math_conjecture_lean_ai_lab

57.9 kB

Ctrl+K

Ctrl+K

1 contributor

History: 8 commits

NorthernTribe-Research's picture

NorthernTribe-Research

Upgrade UI to advanced minimalist tactical design; remove default footer links.

8669227 verified about 2 months ago

__pycache__
Final sync push for conjecture lab space about 2 months ago
.gitattributes

1.52 kB
initial commit about 2 months ago
README.md

1.56 kB
Upgrade UI to advanced minimalist tactical design; remove default footer links. about 2 months ago
app.py

32.9 kB
Upgrade UI to advanced minimalist tactical design; remove default footer links. about 2 months ago
requirements.txt

60 Bytes
Deploy Conjecture Lean+AI Lab Space about 2 months ago