Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oracle

(github.com) by xmaruff | Jan 2, 2026 | 0 comments on HN