finproof 0.1.0

Deterministic financial programming language and verification engine.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

# FinProof`r`n`r`n![FinProof Logo](assets/finproof-logo.jpg)`r`n`r`n**Created by Adnan Omar Awad Allemon**

## Deterministic Financial Programming Language

**Created by Adnan Omar Awad Allemon**

FinProof is an independent domain-specific programming language for deterministic financial transactions, double-entry accounting, ledger execution, financial invariants, and execution verification.

## Version

**0.1.0**

## Language Pipeline

Source ? Lexer ? Parser ? Type Checker ? Compiler ? Bytecode ? VM ? Ledger ? Verification

## Example

``text
currency USD

account Cash: asset USD = 1000
account SalesRevenue: revenue USD = 0

transaction Sale {
    debit Cash 100 USD
    credit SalesRevenue 100 USD
}
``