lean-proof-to-solidity-smart-contract-generator

【开发与工程】Lean Proof To Solidity Smart Contract Generator: The tool allows you to validate Lean, generate Solidity from it, compile the. Use when an agent needs lean proof to solidity smart contract generator, fetch allowable advanced lean templates and snippets, validate advanced lean solidity ir before generation, generate solidity from advanced lean solidit…

独立 GitHub 快照 · 自动分类 · 以原作者文档为准