smart-contractsblockchain
move-narya-bridge
Observational bridge between Move smart contracts and Narya proof verification. Translates Move module invariants into Narya's HOTT framework for formal verification with definitional function extensionality.
maintainer
plurigrid
更新於 2/16/2026
星標
16
分支
5
quick start
Installation and usage
Observational bridge between Move smart contracts and Narya proof verification. Translates Move module invariants into Narya's HOTT framework for formal verification with definitional function extensionality.
安裝
$ install --globalskills.sh
使用
安裝後，您可以透過在終端機執行以下指令來使用此技能：
skills use move-narya-bridge