Speaker
Amar Hadzihasanovic, Tallinn University of Technology
Abstract
I will give an introduction to alifib, an experimental programming language founded on higher-dimensional rewriting, and demonstrate a web-based proof assistant built around it; this is joint work with Alex Kavvos.
Amar Hadzihasanovic, Tallinn University of Technology
Abstract
I will give an introduction to alifib, an experimental programming language founded on higher-dimensional rewriting, and demonstrate a web-based proof assistant built around it; this is joint work with Alex Kavvos.