TaoHe - the collection of nested Move resources - has been updated
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: