For questions about using proof assistants to prove (integral and differential) calculus theorems. Do not use for lambda calculus, etc.
For questions about using proof assistants to prove (integral and differential) calculus theorems. Do not use for lambda calculus, etc.