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: Dec 05 2021 at 22:18 UTC