This repository is not active
wlad-svennik/Spherical-law-of-cosines-proof-using-Sympy-and-quaternions
Shows that some parts of spherical trigonometry can be done by simulating physical constructions using quaternions. Also computer algebra provides some convenience
Jupyter Notebook