search

nomeata / incredible

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

lower lower bound of session 6, task 17 #95

Closed lohner closed 6 years ago

lohner commented 6 years ago

In case you need a proof: :smile:

session6-task17

michaelgwelch commented 6 years ago

Wow, I was still struggling to get it down to 20 blocks.