johnsonstephan/awesome-web3-formal-verification

Công dụng

johnsonstephan/awesome-web3-formal-verification là kho mã GitHub công khai. Bản ghi gần nhất được lưu cho biết có 44 sao và 6 bản fork. Chủ đề: awesome list, blockchain, blockchain service, defi, formal languages, formal methods. Đọc tài liệu, giấy phép và các issue hiện tại trước khi dùng phần mềm.

A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.

Kho GitHub

Sao

44

Sao tăng · 7 ngày

—

Bản fork

6

Ngôn ngữ chính

Chưa kiểm tra

Giấy phép kho

Chưa kiểm tra

Lần đẩy mã cuối

5 thg 3, 2024

Độ phổ biến theo sao GitHub. Tăng trưởng 7 ngày cần đủ một tuần ghi nhận. Đây không phải bảng xu hướng chính thức GitHub.

Nguồn & độ mới

Mục nhập dẫn nguồn. Có tên trong danh bạ không phải sự bảo chứng.