Rights accessRestricted access - author's decision
A short, mostly self-contained introduction to Homotopy Type Theory, which ends with the proof of Seifert-Van Kampen Theorem for sets. It was supposed to be a study about Coq prood assistant, but it ended up being an introduction to this theory.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder. If you wish to make any use of the work not provided for in the law, please contact: firstname.lastname@example.org