If there’s something you need to do in rust there’s a crate for it
rust_halting_problem
collatz conjecture counterexample/proof time