SEAL resources: Getting started with SEAL