Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: The Sophomore's Dream

Email Gateway (May 09 2022 at 14:25):

From: Lawrence Paulson <lp15@cam.ac.uk>
This is a lovely little entry, thanks to Manuel Eberl. A couple of mysterious integration formulas, due to Bernoulli.

It was unfortunately delayed due to technical reasons. Now online at https://www.isa-afp.org/entries/Sophomores_Dream.html

Larry Paulson

Last updated: Jul 15 2022 at 23:21 UTC