Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oraclegithub.com/welltyped-systems3 pointsxmaruff6 months ago