Isabelle/HOLによる研究は、保存写像を圏として形式化し、チェーン結合幅にわたる自然な射影を証明した。これにより、ブリッジ、ロールアップの退出、共有シーケンサー、許可型決済システムに再利用可能な検証基盤を提供する。
34d ago
信頼性検証中
このトピックには専門用語がありません。