# pacioli

> A verified core of accounting mechanics in Lean 4 (Ellerman's Pacioli group), paired with curated accounting judgment in the Open Knowledge Format (OKF).

## Details

- **Name:** pacioli
- **Author:** ojhermann-org
- **Stars:** 4
- **License:** Apache-2.0
- **Category:** Uncategorized
- **OKF Conformant:** Yes
- **OKF Version:** 0.1
- **Last Updated:** 2026-07-14
- **Tags:** accounting, double-entry-bookkeeping, formal-methods, formal-verification, lean, lean4, okf, theorem-proving
- **Topics:** accounting, double-entry-bookkeeping, formal-methods, formal-verification, lean, lean4, okf, theorem-proving

## Links

- **Source:** https://github.com/ojhermann-org/pacioli
- **OKF Bundle:** https://github.com/ojhermann-org/pacioli
- **View on BundleDex:** https://bundledex.net/bundles/pacioli/

## How to Use

```
git clone https://github.com/ojhermann-org/pacioli
```

Point your AI agent (Claude Code, Cursor, OpenCode, etc.) at the cloned directory.