Higher Galois Recognition and Parameter Descent
Source files
root filemodel_infty_groupoids_part2.tex · root file164 KiB · SHA-256 7109c420b2a0b7fe… · view textancillaryanc/higher_examples_results.json5 KiB · SHA-256 7acad3ba4b490bf0… · view textancillaryanc/relative_examples_results.json12 KiB · SHA-256 dcbbd2255d95a9a5… · view textancillaryanc/verify_higher_examples.py6 KiB · SHA-256 223dd318f82a5de6… · view textancillaryanc/verify_relative_examples.py10 KiB · SHA-256 909f7b13298a0149… · view text