Skip to content


Here's what we found matching this topic...

cwgoes commented Oct 18, 2019

We should pick examples with the following properties:

  • Implement a system one would have reason to deploy to a distributed ledger
  • Are complex or intricate enough to merit non-trivial property verification
  • Can be polished into a usable prototype which language users can deploy

Candidate examples:

  • Fungible token contract with proofs about constant supply, ownership, fungibility
  • Non

Improve this page

Add a description, image, and links to the juvix topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the juvix topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.