This is stars and forks stats for /FrozenWinters/SSTs repository. As of 03 May, 2024 this repository has 22 stars and 0 forks.
Semi-Simplicial Types Joint work by Astra Kolomatskaia and Michael Shulman 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 Source: Binary, Ren, Syntax
Semi-Simplicial Types Joint work by Astra Kolomatskaia and Michael Shulman 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 Source: Binary, Ren, Syntax
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
martinescardo/TypeTopology | AgdaTeXMakefile | 187 | 0 | 30 | 0 |
conal/felix | Agda | 35 | 0 | 3 | 0 |
jespercockx/agda-core | Agda | 9 | 0 | 0 | 0 |
jespercockx/scopes-n-roses | Agda | 2 | 0 | 0 | 0 |
iwilare/categorical-automata | Agda | 15 | 0 | 1 | 0 |
sergei-romanenko/agda-simple-scp | AgdaCoq | 28 | 0 | 2 | 0 |
DSLsofMath/DSLsofMath | HaskellTeXHTML | 382 | 0 | 48 | 0 |
foones/dharma | CoqPythonC | 0 | 0 | 0 | 0 |
glguy/my-agda-lib | Agda | 3 | 0 | 1 | 0 |
msp-strath/MSPweb | HaskellHTMLAgda | 6 | 0 | 6 | 0 |