Latest 20 Posts
- amazing
- blog construct
- so much fun
- 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
74 more posts can be found in the archive.