Hello, Please how can I define and declare a tail recursion of factorial with Isabelle/HOL and tail recursive of Reverse with Isabelle/HOL
Thanks
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
