input-output-hkCardanoLedgerApi

Cardano Ledger Api providing the necessary types and predicates to prove Plutus smart contracts with Blaster
Sort by
  1. Git dependency.
    Found on Reservoir.

    Blastereff8cbb

    SMT-based reasoning core for Lean4
  2. Git dependency.
    Found on Reservoir.

    PlutusCore17cee18

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