https://github.com/akuli/math-derivations
Derivations and proofs of math things
https://github.com/akuli/math-derivations
Last synced: 5 months ago
JSON representation
Derivations and proofs of math things
- Host: GitHub
- URL: https://github.com/akuli/math-derivations
- Owner: Akuli
- License: mit
- Created: 2020-02-21T17:20:03.000Z (almost 6 years ago)
- Default Branch: master
- Last Pushed: 2025-03-09T12:56:01.000Z (10 months ago)
- Last Synced: 2025-03-27T23:01:41.265Z (10 months ago)
- Language: Python
- Size: 4.35 MB
- Stars: 4
- Watchers: 3
- Forks: 1
- Open Issues: 12
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Math Derivations
[Click here](https://akuli.github.io/math-derivations)
to read the content of this site.
The site contains derivations and proofs for math things
that are used in high school math.
## Commands for writing stuff to this site
Environment setup (I have no idea what you should do if you don't have `apt`):
```
$ sudo apt install asymptote
$ python3 -m pip install --user wheel
$ python3 -m venv env
$ . env/bin/activate
(env) $ pip install -r requirements.txt
(env) $ python3 build.py
```
Then open `html/index.html` in web browser. You don't need to run a server.
If you want `build.py` to send F5 to the browser window where math-derivations is open:
```
(env) $ sudo apt install xdotool
(env) $ python3 build.py --reload-browser
```
If you want to check links (also done in Github Actions):
```
(env) $ python3 build.py --check-links
```
To publish, run `git push`, and let Github Actions take care of the rest.
If you create or modify images drawn with asymptote,
you should commit the resulting files in `images/asy/`.
The images are committed to Git, for several reasons:
- This makes `build.py` really fast. Rebuilding images is slow.
- Some images were created with an old, backwards-incompatible version of asymptote.
If those weren't committed, I would have to upgrade them to work with newer asymptote versions.
- Building 3D images on github actions just doesn't work, because it apparently requires a GPU.