Translating the Plutus standard library to Coq
-
Updated
Dec 5, 2023 - Shell
Translating the Plutus standard library to Coq
A bash script that will make real NFTs using a Haskell/Plutus on-chain validator on the Cardano Blockchain
My VS Code + Docker setup to getting started with the Plutus Pioneer Program (3rd Cohort)
Add a description, image, and links to the plutus topic page so that developers can more easily learn about it.
To associate your repository with the plutus topic, visit your repo's landing page and select "manage topics."