input-output-hkBlaster

SMT-based reasoning core for Lean4
Displaying 1-2 of 2 packages depending on input-output-hk/Blaster
Sort by

  1. input-output-hk/CardanoLedgerApiuseseff8cbb

    Cardano Ledger Api providing the necessary types and predicates to prove Plutus smart contracts with Blaster

  2. input-output-hk/PlutusCoreusesc576289

    Plutus Core, CEK Machine in Lean 4, tailored for Blaster usage