---
title: "lapisla-prover (@lapisla-prover)"
description: "Theorem prover and ecosystem for general users."
account: "lapisla-prover"
---

# lapisla-prover

Theorem prover and ecosystem for general users.

## APIs

1 public API with a stored document.
Each links to its markdown overview; the same address with
`/llms.txt` in place of `.md` lists its operations.
Changes across these APIs: https://skmtc.dev/lapisla-prover/feed.md

- [Lapisla Prover API](https://skmtc.dev/lapisla-prover/apis/lapisla-prover-api.md): Theorem proving: manage files and versioned snapshots, search and register public proofs, inspect dependencies and SBOMs