Algebraic Combinatorics Blueprint
This repository is the Verso blueprint integration layer for the Algebraic
Combinatorics project. It keeps the blueprint files at the repository root
while treating algebraic-combinatorics/ as the upstream formalization
checkout.
Contents
- 1. Notations and Elementary Facts
- 2. Commutative Rings and Modules
- 3. Formal Power Series: Definition and Basic Properties
- 4. Dividing FPSs
- 5. Polynomials
- 6. Substitution and Evaluation of Power Series
- 7. Derivatives of FPSs
- 8. Exponentials and Logarithms
- 9. Non-Integer Powers
- Dependency Graph
- Blueprint Summary