since I do not know the material of the other parts this time, I refer to the UniMath school of 2017 for the material I reuse
nothing deep on exercises_tactics.v or its solutions changed
weq_exercises.v now comes with some small help - in 2017, the participants
felt a bit lost
weq_exercises_with_solutions.v has full solutions that are meant to be
understandable by the participants (that do not require a deeper study
of the UniMath library)
Finally, a mini-change on the extended course material - to answer to a question by Benedikt.
Finally, a mini-change on the extended course material - to answer to a question by Benedikt.