All is one, one is all
jum-p’éel
Recent activities
- Published post How to Use Lean 4, linarith, and ring to Help You Check Your Algebra Homework Without Cheating
- Published post Designing Efficient Algorithmic Solutions From the Worst Logical Sort to Mergesort
- Published post Survival Math: Under vs Over Estimating (Part I)
- Registered an account