thierrymarianne / contrib-ledger-project-eu-safepkt Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ledgerproject/safepkt
Research paper On The Termination of Borrow Checking for Rust and a web application, CLI application and VSCode extension for running static analysis of rust-based smart contracts with a ready-to-be-verified project example.
Home Page: https://github.com/LedgerProject/safepkt
License: Apache License 2.0