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
Mis à jour 2/16/2026
Étoiles
16
Forks
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.
Installation
$ install --globalskills.sh
Utilisation
Après l'installation, vous pouvez utiliser ce skill en exécutant la commande suivante dans votre terminal :
skills use move-narya-bridge