Giters

nelaturuk / move-smart-contracts

Tool for the synthesis and verification of Move smart contracts

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Tool for the synthesis and verification of Move smart contracts

License:Other

Languages

Language:JavaScript 97.8%Language:EJS 0.8%Language:CSS 0.6%Language:SCSS 0.5%Language:Dockerfile 0.2%Language:HTML 0.1%