There's this: http://proof-technologies.com/holzero/index.html and I see some other things that I interpret as moving in that direction.