Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Unnecessary assumption in HOL-Analysis.Convex....

view this post on Zulip Email Gateway (Oct 06 2020 at 09:21):

From: Lawrence Paulson <lp15@cam.ac.uk>
Great idea. Thanks!
Larry

Last updated: Jul 26 2025 at 12:43 UTC