[seanmcdirmid]

The project is being done by MSR in cooperation with Imperial College (where Pony came from), and one of the Pony author’s works at MSR now, so I’m guessing this is by many of the people who worked on Pony.

[spooneybarger]

You would be correct that many people associated with Pony have done work on Verona.