Solidity

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(项目)
第18行: 第18行:
 
*[https://github.com/OpenZeppelin/openzeppelin-contracts/ OpenZeppelin Contracts] is a library for secure smart contract development.
 
*[https://github.com/OpenZeppelin/openzeppelin-contracts/ OpenZeppelin Contracts] is a library for secure smart contract development.
 
*[https://github.com/makerdao MakerDAO @ GitHub] [https://makerdao.com/ MakerDAO] 一种更好的货币 [[文件:MakerDAO-Dai.png]]
 
*[https://github.com/makerdao MakerDAO @ GitHub] [https://makerdao.com/ MakerDAO] 一种更好的货币 [[文件:MakerDAO-Dai.png]]
 +
*[[z3]] For use with SMT checker.
 +
*[https://cvc5.github.io/ cvc5] For use with SMT checker.
  
 
==图集==
 
==图集==

2022年4月27日 (三) 04:34的版本

Wikipedia-35x35.png 您可以在Wikipedia上了解到此条目的英文信息 Solidity Thanks, Wikipedia.

Solidity

Solidity

目录

简介

Solidity:面向合约的编程语言,C++ 编码实现,采用 GPLv3 许可证。

功能

指南

项目

图集

链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱