Linking pages
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- bollu.github.io/stuff-i-learnt-this-year-2018.md at master · bollu/bollu.github.io · GitHub https://github.com/bollu/blog/blob/master/content/blog/stuff-i-learnt-this-year-2018.md#introduction 19 comments
- Will computers replace humans in mathematics? https://theconversation.com/will-computers-replace-humans-in-mathematics-60168 0 comments
- GitHub - coq-community/fourcolor: Formal proof of the Four Color Theorem [maintainer=@ybertot] https://github.com/math-comp/fourcolor 0 comments