This repository contains a library of formal specifications of some standard mathematical objects. The specifications are written LaTeX using the formal specification language Z Notation.
The library is organized into the following topics.
- sets
- categories
- integers
- real numbers
- complex numbers
- groups
- vector spaces
- topological spaces
- manifolds
- Lie groups and Lie algebras