AATMAAATMA
Menu

Tag: #Lean Proof Assistant

Search Results

Securityarticle

Microsoft Verifies Rust Cryptography in SymCrypt Using Lean and AI Agents

#Formal Verification#Rust Cryptography#Lean Proof Assistant#Post-Quantum Crypto#AI Agents