# Mutually Recursive Partial Functions

 Title: Mutually Recursive Partial Functions Author: René Thiemann (rene /dot/ thiemann /at/ uibk /dot/ ac /dot/ at) Submission date: 2014-02-18 Abstract: We provide a wrapper around the partial-function command that supports mutual recursion. BibTeX: @article{Partial_Function_MR-AFP, author = {René Thiemann}, title = {Mutually Recursive Partial Functions}, journal = {Archive of Formal Proofs}, month = feb, year = 2014, note = {\url{https://isa-afp.org/entries/Partial_Function_MR.html}, Formal proof development}, ISSN = {2150-914x}, } License: GNU Lesser General Public License (LGPL) Used by: Certification_Monads, Polynomial_Factorization Status: [ok] This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.