Set-theoretic construction of numbers
See https://en.wikipedia.org/wiki/Set-theoretic_definition_of_natural_numbers
git clone https://github.com/kkinugasa/pynumber.git
poetry install
poetry add git+https://github.com/kkinugasa/pynumber.git
pip install git+https://github.com/kkinugasa/pynumber.git
After pulling this repo and running poetry install
, run the command:
poetry run mkdocs serve