finproof 0.1.0

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

# FinProof

## Deterministic Financial Programming Language

**Created by:** Adnan Omar Awad Allemon

FinProof is an independent domain-specific programming language for
deterministic financial computation, transaction execution, ledger
management, and execution verification.

## Version

0.1.0