Rzk demo and tutorials
A two-day rzk demo and hands-on tutorials for the homotopy type theory seminar at Bauman Moscow State Technical University, November 20–21, 2023.
A two-day rzk demo and hands-on tutorials for the homotopy type theory seminar at Bauman Moscow State Technical University, November 20–21, 2023.