Guppy FT examples

Here are some example notebooks which demonstrate some of the key features in Guppy FT.

• Automatic Encoding for the Steane Code
• Comparator-based Rz synthesis with the Steane architecture
• Writing logical programs directly
• Verifying Logical Clifford Gadgets