Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] which axioms need for verify quantum mechanic ...

view this post on Zulip Email Gateway (Aug 22 2022 at 09:44):

From: Mandy Martin <tesleft@hotmail.com>
Hi sir,

  1. which axioms need for verify quantum mechanic in Isabelle?2. can infinitesimal geometry prove quantum mechanic ?

Regards,
Martin Lee

Last updated: Jan 08 2026 at 04:41 UTC