3 ms·
Yeah, I really hope so. I'm hoping that my background is going to allow me to work/play in this area. I'm currently learning about theorem provers so I can get
by jebarker 2y ago
Yeah, I really hope so. I'm hoping that my background is going to allow me to work/play in this area. I'm currently learning about theorem provers so I can get involved.
- vismit2000 2y agoRecently on HN: https://news.ycombinator.com/item?id=42440016 https://news.ycombinator.com/item?id=42440016 Maybe this can aid in your learning.
- jebarker 2y agoThis is great - thanks for sharing