Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oracle | Heykuki News
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
Loading...