Email Gateway (Aug 18 2022 at 17:16): Email Gateway (Aug 18 2022 at 17:16):From: li yongjian <lyj238@gmail.com>
Dear Isabelle users:
I'm interested in the formalization of integration theory in
Isabelle.
I found Stefan Richter's work in AFP.
But I cannot find any other work.
Who can do me a favor of telling me some other ork.
Best
lyj
Email Gateway (Aug 18 2022 at 17:16):From: Lawrence Paulson <lp15@cam.ac.uk>
There is also a formalisation of Lebesgue integration in the directory HOL/Probability.
Larry Paulson
Last updated: Apr 19 2024 at 12:27 UTC