# TLAPS Proof System

**Canonical:** https://apis.io/apis/tla-plus-foundation/tlaps-proof-system/  
**Provider:** TLA Plus Foundation — https://apis.io/providers/tla-plus-foundation/  
**Documentation:** https://tla.msr-inria.inria.fr/tlaps/

TLAPS Proof System is one of 6 APIs that [TLA Plus Foundation](https://apis.io/providers/tla-plus-foundation/) publishes on the [APIs.io](https://apis.io/) network. Tagged areas include Proof System, Formal Verification, and Mathematics. The published artifact set on APIs.io includes API documentation and a GitHub repository.

The TLA+ Proof Manager (TLAPS) is a proof system for TLA+ specifications, enabling formal mathematical proofs of system properties. It integrates with back-end provers and supports interactive proof development.

## Machine-readable artifacts (2)

- **Documentation** — https://tla.msr-inria.inria.fr/tlaps/
- **GitHubRepository** — https://github.com/tlaplus/tlapm

## Other TLA Plus Foundation APIs (5)

- [TLC Model Checker](https://apis.io/apis/tla-plus-foundation/tlc-model-checker/)
- [TLA+ Toolbox IDE](https://apis.io/apis/tla-plus-foundation/tla-toolbox-ide/)
- [TLA+ VS Code Extension](https://apis.io/apis/tla-plus-foundation/vscode-tlaplus/)
- [TLA+ Community Modules](https://apis.io/apis/tla-plus-foundation/community-modules/)
- [TLA+ Specification Examples](https://apis.io/apis/tla-plus-foundation/tlaplus-examples/)

## Tags

Proof System, Formal Verification, Mathematics

---

Profiled by [API Evangelist](https://apievangelist.com) and published on [APIs.io](https://apis.io/apis/tla-plus-foundation/tlaps-proof-system/). The API's provider profile, Kin Score and agent-readiness rating are at https://apis.io/providers/tla-plus-foundation/.