@Wongssh web3 reading list. A reading list for solidity, web3 and Dapp programmers. We use Chinese and English language.
https://blog.lambdaclass.com/amo-lean-towards-formally-verified-optimization-via-equality-saturation-in-lean-4/
形式化证明 #formalVerify 密码学优化
形式化证明 #formalVerify 密码学优化
LambdaClass Blog
AMO-Lean: Towards Formally Verified Optimization via Equality Saturation in Lean 4
Our experiments with Lean and formal verification continue to bear fruit.
To further our knowhow and experience, we set out to see if we could apply Lean's strengths to a more advanced topic: compiler optimizations.
Traditional verified compilers focus…
To further our knowhow and experience, we set out to see if we could apply Lean's strengths to a more advanced topic: compiler optimizations.
Traditional verified compilers focus…
