Questions tagged [resources]
For questions seeking recommendations for online or offline resources about proof assistants
3
questions
13
votes
1
answer
252
views
Learning materials for doing analysis (calculus) in a mechanized way
Can we collect (or maybe even write) tutorials and guides on doing analysis in various Proof Assistants? Community wiki style?
I was reading Lawrence Paulson's blog (highly recommend!) the other week ...
8
votes
1
answer
153
views
What are some useful resources for a mathematician interested in learning Isabelle/HOL?
What are some useful and reliable resources for a mathematician interested in learning Isabelle/HOL? Could be online (websites) or physical (books).
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 ...