Soroban Security Portal is a go-to hub for all things secure in the world of Soroban - Soroban's smart contract platform. Think of it as your safety compass: audit history, tools, tips and top-tier experts who've put Soroban projects through their paces.
🌀 Inference programming language
🌀 Inference programming language specification
Unified knowledge base of Soroban common vulnerabilities and best practices
Inference Grammar for tree-sitter
The Inference Programming Language
Soroban Smart Contracts Reverse Engineering Tool
http://x.com/i/article/2063817938596196352
http://x.com/i/article/2063817938596196352
http://x.com/i/article/2063817938596196352
🌀Big milestone alert! We have completed the final milestone for Inference through SCF #39 The Inference compiler can now process .inf files to automatically formalize and lower them into Rocq theories (.v) for automated theorem provers https://inference-lang.org/proof-assista…
