Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Continued Fractions

Email Gateway (Mar 25 2024 at 15:42):

From: Lawrence Paulson <lp15@cam.ac.uk>
I'm happy to announce a new contribution on the fascinating topic of continued fractions, by the always prolific Manuel Eberl.

Now online at https://www.isa-afp.org/entries/Continued_Fractions.html

Larry

Last updated: Apr 28 2024 at 16:17 UTC