Spaces:

NorthernTribe-Research
/

math_conjecture_lean_ai_lab

Running

App Files Files Community

math_conjecture_lean_ai_lab / README.md

Commit History

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

8669227

Running
verified

NorthernTribe-Research commited on 12 days ago

Deploy Conjecture Lean+AI Lab Space

b628dab
verified

NorthernTribe-Research commited on 14 days ago

initial commit

2b52bbd
verified

NorthernTribe-Research commited on 14 days ago