Open Issues Need Help
View All on GitHub Add CONTRIBUTING.md (agent-human loop + dev workflow) about 6 hours ago
documentation good first issue
A verified core of accounting mechanics in Lean 4 (Ellerman's Pacioli group), paired with curated accounting judgment in the Open Knowledge Format (OKF).
Lean
#accounting#double-entry-bookkeeping#formal-methods#formal-verification#lean#lean4#okf#theorem-proving
Licensing housekeeping: Apache-2.0 copyright headers / NOTICE about 6 hours ago
documentation good first issue
A verified core of accounting mechanics in Lean 4 (Ellerman's Pacioli group), paired with curated accounting judgment in the Open Knowledge Format (OKF).
Lean
#accounting#double-entry-bookkeeping#formal-methods#formal-verification#lean#lean4#okf#theorem-proving