Tool Installation

• Coq (for the lectures by Yves Bertot): https://coq.inria.fr, in a hurry: https://coq.vercel.app, blank sheet: https://coq.vercel.app/scratchpad.html
• rzk (for the lectures by Nikolai Kudasov and Emily Riehl): https://github.com/rzk-lang/, demo
• UniMath (Coq) and additional material (for the lectures by Paige North): https://github.com/paigenorth/itp-hott/blob/main/README.md
• Isabelle (for the lectures by Angeliki Koutsoukou-Argyraki): https://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html
• Lean 4 and additional material (for the lectures by Jannis Limperg): https://github.com/JLimperg/regensburg-itp-school-2023
• HOL light (for the lectures by John Harrison)