Hacker News new | past | comments | ask | show | jobs | submit login

> - Arithmetic w/ `assert`: addition/subtraction, multiplication/division, exponents/logarithms; and then again with {NumPy, SymPy, Lean Mathlib}

"How I'm able to take notes in mathematics lectures using LaTeX and Vim" https://news.ycombinator.com/item?id=19452752 ...

"How should logarithms be taught?" https://news.ycombinator.com/item?id=28519356




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: