GitHub repository: kory33/scala-proofs
Primary language: Scala
Created: 2018-05-13T09:36:48Z
Description: An attempt to build axiomatic, formal set theory on top of Scala.