# HOL Prover API

**Repository Path**: cstarlang/hol_prover_api

## Basic Information

- **Project Name**: HOL Prover API
- **Description**: No description available
- **Primary Language**: Unknown
- **License**: MIT
- **Default Branch**: main
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 1
- **Created**: 2025-08-01
- **Last Updated**: 2025-10-15

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# HOL Prover API

This repo provides a [Cap'n Proto](https://capnproto.org/) RPC protocol for HOL-style theorem proving.
The API is largely influenced by [HOL Light](https://hol-light.github.io) and [HOL Zero](http://www.proof-technologies.com/holzero).

The protocol is not stable yet.
Be careful that future updates may compromise backward capatibility.

## Development

- Clone the repo.
- Create a new branch with your change. Make sure you update the `Next ID` at the beginning of the protocol.
- Submit a pull request.