Recommended Articles – August 2019

Recommended Articles

Dan Gisselquist presents some statistics on how much time various formal proofs have taken him to complete. He also gives some advice on what to look for when trying to keep your proof times short: Just how long does a formal proof take to finish?.

In AMIQ Resources page you can find the contents of AMIQ’s bookshelf, papers and the list of blogs we periodically scan for recommended articles.



Leave a Comment:

Your comment will be visible after approval.

(will not be published)

This site uses Akismet to reduce spam. Learn how your comment data is processed.