Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with textbook-recommendation
Search options not deleted
user 9909
Questions asking for recommendations of textbooks on some subject. It can be helpful to indicate whether the request is for self-study, for use in a course one teaches, for use accompanying a course one takes etc., and to give some additional details on the context. Typically, additional tags are used to indicate the subject. For other questions on books, please use the tag books. Also, see reference-request for a related tag.
7
votes
Wanted: a "Coq for the working mathematician"
This online book by Adam Chlipala hasn't been mentioned:
Certified Programming with Dependent Types
The reason I suggest it is because of this claim by the author in the introduction:
"Most of the …
- 505