This repository contains formal descriptions of standard mathematical objects using Z notation.
Latest commits.
Builders behind this project.
