I read through the Penrose presentation slides a few weeks ago and was very impressed with the perspective, idea, and implementation compared to the other dozens of tools I've looked at. I'm not particularly a math specialist, but I do think I'll use Penrose soon. However, it might not immediately fit my needs today.
The presentation made it appear that this was an initial implementation, and that more progress will be needed to fit more use-cases, which is great! Hopefully I can contribute.