├── .gitignore ├── CollectionOfFormulas.tex ├── LICENSE ├── Proofs.tex ├── README.md ├── References.bib └── defs.tex /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ga/formulas/HEAD/.gitignore -------------------------------------------------------------------------------- /CollectionOfFormulas.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ga/formulas/HEAD/CollectionOfFormulas.tex -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ga/formulas/HEAD/LICENSE -------------------------------------------------------------------------------- /Proofs.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ga/formulas/HEAD/Proofs.tex -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ga/formulas/HEAD/README.md -------------------------------------------------------------------------------- /References.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ga/formulas/HEAD/References.bib -------------------------------------------------------------------------------- /defs.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ga/formulas/HEAD/defs.tex --------------------------------------------------------------------------------