doubling down on Scala for ML, provers & swarms.
maintainer of shapesafe, spookystuff and splain plugin