Thanks for the great job you have done. In the README, it is said that there is an example of proofing H(s)==d, but it is not in the examples folder. Where can I find it?

Thank you again.

James