GitHub repository: Certora/solana-spec-template
Primary language: Python
Created: 2025-05-03T00:16:26Z
Description: Template for Certora specifications for Solana projects