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 demo uses Rzk version 0.6.7.
-
Notifications
You must be signed in to change notification settings - Fork 0
Materials for Rzk demo and tutorials for the HoTT seminar at Bauman Moscow State Technical University, Nov 20–21, 2023.
fizruk/bmstu-rzk-demo-2023
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Materials for Rzk demo and tutorials for the HoTT seminar at Bauman Moscow State Technical University, Nov 20–21, 2023.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published