All Questions
1
question
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 ...