Proof for TypeScript: @ensures annotations become Lean theorems, discharged automatically and reported in the lakatos result envelope. Runs from a lakatos checkout with the Lean toolchain.
Cross-referenced across 55 tracked directories
#10421
Popularity Rank
1 / 55
Listed In
Emerging
Adoption Stage
9/28/2026
First Seen
Recently added to the ecosystem
GitHub Actions
Forked from https://github.com/OpenRouterTeam/ai-sdk-provider
marikaner
SAP Cloud SDK for AI is the official Software Development Kit (SDK) for **SAP AI Core**, **SAP Generative AI Hub**, and **Orchestration Service**.
...more