Viewing profile — mridsole
mridsole
HN member- Joined
- Fri, Jun 12, 2020, 12:04 AM UTC
- HN karma
- 4
- Public activity
- 3 items
- HN profile
- View on Hacker News ↗
About mridsole
No profile information was provided.
Recent public activity
- story
-
comment
Comment #33594419
Type Theory and Formal Proof: An Introduction A ground up walk-through for using dependent types for formal proof. What I liked about this book is that it's presented more as mathe…
-
comment
Comment #26874092
I've been using Jupyter Book [0] at work to put together a cookbook for a market data analysis package, and am really liking it so far. I'm not a big fan of Jupyter's GUI editors f…