Toggle navigation
Help
Log In
Help
Log In
Home
Messages
Hashtags
Subgroups
×
×
×
Close
Likes
fabric@lists.hyperledger.org
Messages
Virtual meetup with demo of formally verified chaincode generation for Fabric on Nov 19
×
Close
Search
Single
Toggle Dropdown
Messages
Topics
Expanded
previous page
#11572
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
previous page
#11572
next page
Join
fabric@lists.hyperledger.org to automatically receive all group messages.
×
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
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?
More Options
More
Home
Hashtags
Subgroups
Terms
Toggle navigation
Terms
©
2023
Groups.io
