Toggle navigation
Help
Log In
Help
Log In
Home
Messages
Hashtags
Subgroups
×
×
×
Close
Likes
fabric@lists.hyperledger.org
Topics
Virtual meetup with demo of formally verified chaincode generation for Fabric on Nov 19
×
Close
Search
Date
Date
1 - 1 of 1
previous page
next page
Virtual meetup with demo of formally verified chaincode generation for Fabric on Nov 19
David Boswell <dboswell@...>
#11572
The developers of the fabric-chaincode-ocaml lab will talk about their work and run a demo of enabling formal specification & verification of Hyperledger Fabric chaincode at a virtual meetup on Friday Nov 18 @ 15:00 UTC. All are welcome.
Details about how to join the meetup are at:
https://www.meetup.com/Hyperledger-London/events/288921003/
Details about the fabric-chaincode-ocaml lab are at:
https://github.com/hyperledger-labs/fabric-chaincode-ocaml
Thanks,
David
More
All Messages By This Member
×
Close
Verify Delete
Are you sure you wish to delete this message from the message archives of fabric@lists.hyperledger.org?
This cannot be undone.
×
Close
Verify Repost
Are you sure you wish to repost this message?
×
Close
Report Message
Reason
Report to Moderators
I think this message isn't appropriate for our group. The Group moderators are responsible for maintaining their community and can address these issues.
Report to Hyperledger Support
I think this violates the Terms of Service. This includes: harm to minors, violence or threats, harassment or privacy invasion, impersonation or misrepresentation, fraud or phishing.
Note:
Your email address is included with the abuse report.
×
Close
Split Topic
The new topic will begin with this message. Subject of the new topic:
1 - 1 of 1
previous page
1
next page
Previous Topic
Next Topic
More Options
More
Home
Hashtags
Subgroups
Terms
Toggle navigation
Terms
©
2023
Groups.io
