GitHub repository: julianmendez/market
Primary language: Scala
Description: Multi-agent prototype of a market modeled in Soda that uses formal verification.