Arthur Ryman
Arthur Ryman
In the SymPy chapter, you evaluate pi to 300 digits. This exceeds the page width. See attached screenshot:  Is there any way...
A minor nit: In the following text from "Introduction", you switch from "I" to "we". ``` With the goal of teaching through computation, it means I need to also choose...
Another small point but possibly worth resolving. In general, a course may have other materials. Sometimes the book refers to `this course`. Sometimes the text refers to `these materials`. Is...
A couple of comments. See screenshot.  1) Sets of equations usually look better if the are aligned on the equals symbol. Use...
First, this widget is great! Thanks. I often share a static copy of my data analysis notebooks as either HTML or PDF. For example, I send people links to the...
I just installed Lean and mathlib on MacOS the fast way as described on https://leanprover-community.github.io/install/macos.html. The install script reported warnings when installing the jroesch.lean extension, but I was able to...
## Description of bug / unexpected behavior I created a 3d scene that contained some Square and Line3D mobjects. I sorted the mobjects into the correct z-order, but the Cairo...