Wessel de Weijer's repositories
book
A textbook on informal homotopy type theory
Language:TeX000
PC22
Course material of the autumn school "Proof and Computation", 26 September to 1 October 2022, Fischbachau, Germany
Language:Agda000
Tribes-Training-Tool
A program to train your Tribes: Ascend capping skill.
Language:C#000