Spaces:

NorthernTribe-Research
/

math_conjecture_lean_ai_lab

Sleeping

App Files Files Community

math_conjecture_lean_ai_lab / __pycache__

Commit History

Final sync push for conjecture lab space

74b824b
verified

NorthernTribe-Research commited on Mar 23

Fix startup compatibility: Lean output textbox + launch css

a004f5c
verified

NorthernTribe-Research commited on Mar 23