Viewing profile — bordo
bordo
HN member- Joined
- Thu, Jun 09, 2022, 10:07 PM UTC
- HN karma
- 4
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About bordo
No profile information was provided.
Recent public activity
-
comment
Comment #49291499
I can second this as a wonderful introduction to the proofs. This is the book that got me into logic and formal methods.