fact: Fixpoint eval_continued_fraction' (cfrac : list Z) (rem : Q) : Q := match cfrac with | [] => rem | a0 :: rest => a0 + 1 / (eval_continued_fraction' rest rem) end.
imports: Coq.Strings.String Coq.Structures.Orders Coq.micromega.Lia Coq.Bool.Bool Coq.Sorting.Mergesort Coq.QArith.QArith Coq.QArith.Qround Coq.QArith.Qabs Coq.QArith.Qminmax Coq.NArith.NArith Coq.ZArith.ZArith Coq.Arith.Arith Coq.Lists.List PerformanceExperiments.LetIn