Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Defining a set of vectors

view this post on Zulip Email Gateway (Aug 18 2022 at 11:25):

From: RF Todd <R.F.Todd@sms.ed.ac.uk>
Hi,

I am wondering how to define a set of vectors in Isabelle, in order to
allow me to check for linear independence between a set of vectors.

Regards,

Rachel

Last updated: Apr 26 2026 at 09:04 UTC