# FinProof
**Author & Creator:** Adnan Omar Awad Allemon
FinProof is a deterministic financial programming language designed for
financial transactions, double-entry accounting, ledger execution,
financial invariants, and execution verification.
Version: 0.1.0