I was working on this week's post on Lean after reading Kevin Hartnett's book The Proof in the Code...
Subscribe to Computationalcomplexity’s news feed.
Click on “Follow” and decide if you want to get news from Computationalcomplexity via RSS, as email newsletter, via mobile or on your personal news page.
Subscription to Computationalcomplexity comes without risk as you can unsubscribe instantly at any time.
You can also filter the feed to your needs via topics and keywords so that you only receive the news from Computationalcomplexity which you are really interested in. Click on the blue “Filter” button below to get started.
Title: Computationalcomplexity