TaoHe update: support for Move 1.2 and Dove build system, and more

Hello everyone!
TaoHe - the collection of nested Move resources - has been updated :tada:
The newest version includes:

  • Move 1.2 support
  • Dove build system support
  • Formal verification for modules
  • More taos

You can find the newest version here: GitHub - taoheorg/taohe: Collection of nestable smart contract resources for MoveVM blockchains.

Introduction to TaoHe can be found here: