Viewing profile — swampcreature
swampcreature
HN member- Joined
- Thu, Aug 30, 2018, 8:24 PM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About swampcreature
No profile information was provided.
Recent public activity
-
comment
Comment #17880424
Fundamental Proof Methods in Computer Science: A Computer-Based Approach by Arkoudas/Musser Link: https://books.google.com/books/about/Fundamental_Proof_Metho...