Questions tagged [resources]
For questions seeking recommendations for online or offline resources about proof assistants
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 ...