What are good books for learning about proof assistants for Functional Analysis?
Posted by postmortes, at proofassistants.stackexchange.com,
I did search on the site already and while there are questions that reference, for example, PLFA for Agda, there doesn't seem…