Spaces:

NorthernTribe-Research
/

math_conjecture_lean_ai_lab

Restarting

App Files Files Community

math_conjecture_lean_ai_lab / __pycache__

21.9 kB

Ctrl+K

Ctrl+K

1 contributor

History: 2 commits

NorthernTribe-Research's picture

NorthernTribe-Research

Final sync push for conjecture lab space

74b824b verified 1 day ago

app.cpython-313.pyc
21.9 kB
Final sync push for conjecture lab space 1 day ago