Skip to content
#

linear-types

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

cryptiumlabs / juvix

Star
Open

Formally verified contract examples

1
cwgoes
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
Read more
documentation brainstorming

More good first issues

See all

Improve this page

Add a description, image, and links to the linear-types 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 linear-types topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.