phi-metamath / requirements.txt

Commit History

Create requirements.txt
8edfe5a

matthewkenney commited on