Spaces:

NorthernTribe-Research
/

math_conjecture_lean_ai_lab

Running

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 18 days ago

__pycache__
Final sync push for conjecture lab space 20 days ago
.gitattributes

1.52 kB
initial commit 20 days ago
README.md

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

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

60 Bytes
Deploy Conjecture Lean+AI Lab Space 20 days ago