{
  "slug": "pacioli",
  "name": "pacioli",
  "description": "A verified core of accounting mechanics in Lean 4 (Ellerman's Pacioli group), paired with curated accounting judgment in the Open Knowledge Format (OKF).",
  "author": "ojhermann-org",
  "stars": 4,
  "tags": [
    "accounting",
    "double-entry-bookkeeping",
    "formal-methods",
    "formal-verification",
    "lean",
    "lean4",
    "okf",
    "theorem-proving"
  ],
  "repo_url": "https://github.com/ojhermann-org/pacioli",
  "okf_url": "https://github.com/ojhermann-org/pacioli",
  "last_updated": "2026-07-14",
  "okf_version": "0.1",
  "okf_conformant": true,
  "license": "Apache-2.0",
  "source": "github",
  "topics": [
    "accounting",
    "double-entry-bookkeeping",
    "formal-methods",
    "formal-verification",
    "lean",
    "lean4",
    "okf",
    "theorem-proving"
  ]
}