Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives
No abstract available.
DOI 10.1007/978-3-642-35308-6_22
Related papers
- High-level mission specification for multiple robots SLE 2019
- Practical Tactics for Verifying C Programs in Coq CPP 2015
- CUrator: An Efficient LLM Execution Engine with Optimized Integration of CUDA Libraries CGO 2025
- A novice-friendly induction tactic for lean CPP 2021
- HybridPersist: A Compiler Support for User-Friendly and Efficient PM Programming OOPSLA 2025
- User-guided program reasoning using Bayesian inference PLDI 2018
- Towards User-Friendly Projectional Editors SLE 2014
- User-friendly functional programming for web mashups ICFP 2007