All the experience I had was theorem proving for crypto apps - that said, I think there is only the appearance of reversibility at the symbolic level, undernea

All the experience I had was theorem proving for crypto apps - that said, I think there is only the appearance of reversibility at the symbolic level, underneath its the same old mess - I vaguely recall that at full tilt, the room with all the Suns would get quite toasty . :-)