1
Show HN: Formally Verified FPSan
用Lean定理证明器对Triton的FPSan进行形式化验证，确保浮点数运算的数学正确性
Article URL: https://github.com/bollu/fpsan-verification Comments URL: https://news.ycombinator.com/item?id=48677601 Points: 2 # Comments: 0
用Lean定理证明器对Triton的FPSan进行形式化验证，确保浮点数运算的数学正确性
Article URL: https://github.com/bollu/fpsan-verification Comments URL: https://news.ycombinator.com/item?id=48677601 Points: 2 # Comments: 0