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 2 months ago

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

1.52 kB
initial commit 2 months ago
README.md

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

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

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