Formalization of Chapter 6, Special Numbers, of Concrete Mathematics.
See the auto-generated documentation.
The package includes a Nix flake that provides a development environment with all the necessary tools, including a setup of Lean itself.
Run the development environment with nix develop.
Once in the shell, run task -a to list the tasks available for building the package
and its documentation.
For the simplest use case, run task build for building the package. And run
task serve-docs to build and render the documentation.
The tasks ensure that the Mathlib cache is available, so there is no need to run the
usual lake exe cache get.
- Walter Moreira
- Joe Stubbs
MIT