input-output-hkPlutusCore

Plutus Core, CEK Machine in Lean 4, tailored for Blaster usage
Displaying 1-1 of 1 packages depending on input-output-hk/PlutusCore
Sort by

  1. input-output-hk/CardanoLedgerApiuses17cee18

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