Hacker News new | past | comments | ask | show | jobs | submit login

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.



Recently on HN: https://news.ycombinator.com/item?id=42440016

Maybe this can aid in your learning.


This is great - thanks for sharing




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: