ojhermann-org's OKF Bundles
ojhermann-org has published 2 OKF bundles across Uncategorized.
2 bundles · 5 total stars · 2 OKF conformant
All Bundles by ojhermann-org
1
pacioli
OKF ✓A verified core of accounting mechanics in Lean 4, paired with curated accounting judgment in the Open Knowledge Format (OKF).
★ 5 Apache-2.0
accountingdouble-entry-bookkeepingformal-methodsformal-verification
2
okf-model
OKF ✓Descriptive Lean 4 formalization of the Open Knowledge Format (OKF) standard — one model per OKF revision, upstream of okf-tools.
★ 0 Apache-2.0
formal-methodsformalizationlean4nix
This is ojhermann-org's BundleDex page. Submit a bundle to add more to this collection, or browse all bundles.