Guppy FT examples

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

• Automatic Encoding for the Steane Code
• Writing logical programs directly
• Verifying Logical Clifford Gadgets