8 commits

Author	SHA1	Message	Date
Andy Ko	560668741b	Clarified automatic theorem provers.	2019-04-16 14:37:47 -07:00
Andy Ko	d51fafdbe3	Removed "functional" from title.	2019-04-09 12:30:29 -07:00
Andy Ko	18f055d2a7	Added Google Analytics.	2018-03-15 08:14:21 -07:00
Davide Fucci	8388315f56	Correct author's name (Fucci et al., 2016)	2018-02-23 23:26:48 +01:00
Andy Ko	2cd2fd638f	Clarifications of unit tests and formallity.	2017-06-15 11:22:48 -07:00
bxie	7f91f2ebfe	minor typo fix	2017-05-10 09:16:01 -07:00
Andy Ko	3b3600a48d	Consistent emphasis.	2017-04-19 10:13:44 -07:00
Andy Ko	5b15ce12a6	First check-in of book.	2017-04-16 11:59:49 -07:00