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.
    Not found on Reservoir.

    PlutusCore17cee18