TopNewBestAskShowJobs
1.
Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oracle (github.com/welltyped-systems)
3 points
xmaruff
5 months ago
1 comment