Simplicial type theory in Rzk (demo)¶
This is an Rzk demo and tutorials for the HoTT seminar at Bauman Moscow State Technical University, Nov 20–21, 2023 and contains a partial introduction to homotopy type theory and simplicial type theory in Rzk.
This is an Rzk demo and tutorials for the HoTT seminar at Bauman Moscow State Technical University, Nov 20–21, 2023 and contains a partial introduction to homotopy type theory and simplicial type theory in Rzk.