search

nomeata / incredible

The Incredible Proof Machine
MIT License
360 stars 36 forks source link

added Pierce's law to session 5, lowered two bounds in session 5 #81

Closed ratefuchs closed 8 years ago

ratefuchs commented 8 years ago

Pierce's law is a nice little exercise for session 5.

nomeata commented 8 years ago

Have you deliberately put it at the end, or did you not date to suggest a pedagogical position for it?

ratefuchs commented 8 years ago

Zip with proofs for lower bounds incredible-proof-Session-5-New-Bounds.zip