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.

    Blaster59db213

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

    PlutusCore4ef4860

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