Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Uncertainty Principle

view this post on Zulip Email Gateway (Apr 08 2024 at 10:34):

From: Lawrence Paulson <lp15@cam.ac.uk>
I am happy to report a new entry, by Alexander Treml:

You will find it online at https://www.isa-afp.org/entries/Uncertainty_Principle.html

Larry

Last updated: Jan 04 2025 at 20:18 UTC