Implementing and Verifying Algebraic Structures in Scala #1 Post by jtfmumm » Thu, Sep 10, 2015, 3:45 PM UTC Implementing and Verifying Algebraic Structures in Scalajtfmumm.com