Hello quantum enthusiasts,
Apologies I forgot to give you the link to this free eBook called ‘The Book of Proof’ that some of you may find useful: https://www.people.vcu.edu/~rhammack/BookOfProof/Main.pdf
For those of you with the ambition to one day contribute new ground-breaking theoretical knowledge in the field of quantum information or quantum mechanics, the ability to write mathematical proofs can be a great asset as a theorist!:) Additionally, you may find the following interesting:
Lean (proof assistant) project: https://leanprover-community.github.io/lftcm2020/
Coq (proof assistant/management) project: https://coq.inria.fr/
Finally, I’ve invited the regulars to register for the upcoming live session entitled ‘Matrix Groups - Part 1’. Newcomers who wish to attend, please fill out the following form: https://forms.gle/jN8PL9mGQGbe82GY7
Looking forward to seeing you all on Friday, November 27th!
Best wishes,
Bambordé