Summary:
a reaserch documment describing progress thus far
Source: SSTs, HoTTEST Slides
Demo:
defines a ZS structure, performs simplex extraction, and defines the singular SSTs
Source: ZS
Typing Puzzle:
the goal of this puzzle is to show that one can externally prove that it is possible to construct syntactic expressions for SSTs