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

currency USD

account Customer: asset USD = 500
account Merchant: asset USD = 0
account Bank: asset USD = 0

transaction Sale {
    pay 100 USD
    from Customer
    to Merchant
}

transaction Settlement {
    transfer 60 USD
    from Merchant
    to Bank
}