finproof 0.1.0

Deterministic financial programming language and verification engine.
1
2
3
4
5
6
7
8
9
10

currency USD

account Alice: asset USD = 200
account Bob: asset USD = 50

transaction TransferFunds {
    transfer 75 USD
    from Alice
    to Bob
}