├── .gitignore ├── LICENSE ├── README.md ├── coq ├── Arith.v ├── Cayley.v ├── FinSet.v ├── Fock.v ├── GCard.v ├── Species.v └── SpeciesEx.v ├── references.bib ├── species.pdf └── species.tex /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdoughertyii/hott-species/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdoughertyii/hott-species/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdoughertyii/hott-species/HEAD/README.md -------------------------------------------------------------------------------- /coq/Arith.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdoughertyii/hott-species/HEAD/coq/Arith.v -------------------------------------------------------------------------------- /coq/Cayley.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdoughertyii/hott-species/HEAD/coq/Cayley.v -------------------------------------------------------------------------------- /coq/FinSet.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdoughertyii/hott-species/HEAD/coq/FinSet.v -------------------------------------------------------------------------------- /coq/Fock.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdoughertyii/hott-species/HEAD/coq/Fock.v -------------------------------------------------------------------------------- /coq/GCard.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdoughertyii/hott-species/HEAD/coq/GCard.v -------------------------------------------------------------------------------- /coq/Species.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdoughertyii/hott-species/HEAD/coq/Species.v -------------------------------------------------------------------------------- /coq/SpeciesEx.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdoughertyii/hott-species/HEAD/coq/SpeciesEx.v -------------------------------------------------------------------------------- /references.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdoughertyii/hott-species/HEAD/references.bib -------------------------------------------------------------------------------- /species.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdoughertyii/hott-species/HEAD/species.pdf -------------------------------------------------------------------------------- /species.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jdoughertyii/hott-species/HEAD/species.tex --------------------------------------------------------------------------------