Overall philosophical documentation of what this system will aim to achieve and how it will be constructed.
6
stars
1
forks
source link
From lambda calculus to the four color theorem, via experimental mathematics - Vimeo #48
Open
sordina opened 4 years ago
Shared by Auke
Slides: http://noamz.org/talks/oasis-lam4ct.2018.06.22.pdf Video: https://vimeo.com/434067349