PlutusCoreBlaster

CommunityOfficial: IOG (Cardano)SDK

dev-tool crypto human

0 comments

Description

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

Compare this tool

Links

GitHub · 13 stars Homepage

Trust

Official team · IOG (Cardano)
Active · 5d ago commit
GitHub stars · 13

Listing actions

Compare Suggest similar

Report an issue

Comments (0)