GitHub repository: teuffy/lyfe
Primary language: Scala
Description: Traning, developing, sharing, proofs