Name: Artifact for "Foundations for Cryptographic Reductions in CCSA Logics"

Files: `case-studies-html/*`
License: MIT
Comment: Case studies for the ACM CCS'24 conference paper "Foundations
         for Cryptographic Reductions in CCSA Logics".
         The terms of the MIT license are available in
         `squirrel-prover/licenses/MIT`.
         
Files: `squirrel-prover/**/*` 
License: mostly MIT
Comment: Contains the Squirrel Prover sources.
         Detailed licenses are described in `squirrel-prover/LICENSE`.
