GitHub repository: mikinty/CPS-Final-Project
Primary language: Python
Description: Proving properties about markets