Certificate API Reference
This reference links the existing detailed API pages. The conceptual entry point is Proof Templates.
Template APIs
- Table Certificates
- Asymptotic Envelopes
- Pointwise Envelopes
- ConstantFactory
- Exact Product-Integral Certificates
- Contour Shift