All Questions
Tagged with resources reference-request
1
question
21
votes
9
answers
578
views
What are good books for learning about proof assistants for Functional Analysis?
I did search on the site already and while there are questions that reference, for example, PLFA for Agda, there doesn't seem to be a canonical list of references for people just learning about proof ...