ojhermann-org's OKF Bundles

ojhermann-org has published 1 OKF bundle across Knowledge Libraries.

1 bundle · 4 total stars · 1 OKF conformant

All Bundles by ojhermann-org

1

pacioli

OKF ✓

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

★ 4 Apache-2.0 Knowledge Libraries
accountingdouble-entry-bookkeepingformal-methodsformal-verification

This is ojhermann-org's BundleDex page. Submit a bundle to add more to this collection, or browse all bundles.