LeanLean4でAMM経済を証明する析する。自動マーケットメイカーを形式検証技術で分計算機科学における論理DeFiの自動マーケットメイカーの形式検証この記事では、AMMの経済行動を分析するためのコンピューターチェックされたアプローチを紹介します。2025-09-09T22:31:00+00:00 ― 1 分で読む