Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: The Euler–MacLaurin Formula

view this post on Zulip Email Gateway (Aug 22 2022 at 15:14):

From: Lawrence Paulson <lp15@cam.ac.uk>
Today we have a contribution by Manuel Eberl:

Now online here: https://www.isa-afp.org/entries/Euler_MacLaurin.shtml

Many thanks, Manuel!

Larry Paulson

Last updated: Apr 20 2024 at 08:16 UTC