# Isabelle_marries_Dirac
We use the proof assistant Isabelle2020 https://isabelle.in.tum.de/.

To use the library download the Archive of Formal Proofs (https://www.isa-afp.org/download.html) or at least the following entries:
1. https://www.isa-afp.org/entries/Jordan_Normal_Form.html
2. https://www.isa-afp.org/entries/Matrix_Tensor.html
3. https://www.isa-afp.org/entries/VectorSpace.html

To learn more about the project please visit the dedicated stream on the Isabelle Zulip chat https://isabelle.zulipchat.com/.
