Public API Reference
Claim boundary generated reference Lean imports compile research modules may change
The public API reference is generated from the stable Python facades, Lean facade imports, and Rust crate root:
- Generated Public API Reference
- Source generator:
scripts/generate_public_api_docs.py
Stable entry points:
- Python:
circle_math.core,circle_math.contracts,circle_math.ai_contracts - Lean:
Circle.Core,Circle.Applications.Public,Circle.Contracts - Rust:
circle-prime
Regenerate locally:
make public-api-docsFor copy-paste usage examples, start with Use This As A Library.