Knuth's Generalization
Donald Knuth generalized the 91 function to include additional parameters. John Cowles developed a formal proof that Knuth's generalized function was total, using the ACL2 theorem prover.
Read more about this topic: McCarthy 91 Function