HN
New
Show
Ask
Jobs
Built with Astro + Solid
Proving Rust Web Application Correctness with Lean 4
(medium.com)
2 points | by
syumei
7 hours ago ago
1 comments
$palata
6 hours ago
Is an AI writing the Lean code then?
Is an AI writing the Lean code then?