Latest 20 Posts
- ajourdhui
- today I explored `succ` in Lean4
- foundations, s
- noticing and so on and so forth
- some things
- process book learning journal 😌
- Bach was a blues person maybe
- drawing knots
- things I am learning
- continuing the blog again
- starting this blog again, and how to continue, fiddle
- simpler form blog entries
- Getting around to writing a blog post
- Octo bsc mathematics ∴
- proving with mathematical induction
- setting up tex scripts 🌀
- TeX scripts and drawings learning
- Vectors and arrows
- Magnificent clouds
- Pen and paper mathematics
71 more posts can be found in the archive.