finproof 0.1.0

Deterministic financial programming language and verification engine.
1
2
3
4
5
6
7
8
9
10
11
12
13
currency USD

account Cash: asset USD = 0
account Equipment: asset USD = 0
account SalesRevenue: revenue USD = 0
account Payable: liability USD = 0

transaction ComplexSale {
    debit Cash 200 USD
    debit Equipment 300 USD
    credit SalesRevenue 400 USD
    credit Payable 100 USD
}