Proving Rust Web Application Correctness with Lean 4 (medium.com)

1 points by syumei 5d ago ↗ HN

1 comment

[ 0.10 ms ] story [ 13.1 ms ] thread

palata 5d ago ↗

Is an AI writing the Lean code then?