Spaces:

AI-Quotient
/

theorem-proving-agent

Sleeping

App Files Files Community

theorem-proving-agent / requirements.txt

AI-Quotient's picture

Update requirements.txt

d0843a0 verified 2 months ago

history blame contribute delete

12 Bytes

google-genai