Project
From next week, we will start working on our own quantum information project in Lean. [… summary of 19 May + links will follow soon]
Groups and Rings
[…]
Next week
[…]
Seminar 12 – Project introduction, Groups and Rings
19/05/2026
19/05/2026
From next week, we will start working on our own quantum information project in Lean. [… summary of 19 May + links will follow soon]
[…]
[…]