Code for engineers, Comments for mathematicians
github.com
github.com
Although the comments are not proofs (mainly definitions), I am planing for tests to be commented with mathematical proofs.
If you enjoy this library, consider contributing by opening an issue, pull request, or comment.
I talk to the programmers and the mathematicians so they don't have to talk to each other. I'm a people person!