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: Feb 22 2026 at 05:16 UTC