Snowstorm08 / Smart-Contracts-In-Plutus Star 0 Code Issues Pull requests Plutus Experimental Smart Contacts haskell model-checking plutus smart-contract formal-method crrdano Updated Nov 5, 2025 Haskell