Proving Rust Web Application Correctness with Lean 4

Posted 2 hours ago by syumei
1 points

https://medium.com/@Koukyosyumei/proving-rust-web-application-correctness-with-lean-4-8889583f1e15

0 comments