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: Aug 20 2025 at 20:23 UTC