Special Numbers

Formalization of Chapter 6, Special Numbers, of Concrete Mathematics.

See the auto-generated documentation.

Usage

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.

Notes

The tasks ensure that the Mathlib cache is available, so there is no need to run the usual lake exe cache get.

Authors

• Walter Moreira
• Joe Stubbs

License

MIT