2025-06-04.
- Finished skimming through Hitchhiker's Guide to Logical Verification
- Very deliberate introduction.
- It's like showing every room of the house to a guest, briefly explaining what they are for.
- Solving RingTheory exercise
- It's a bit scary that I'm proving things without understanding much just by doing the usual things in theorem proving.