An application that allows you to preview documents and change their location.
This is a Bitcoin app using scrypt-adaptive-N as a proof-of-work algorithm.
Configurable graphical formal-proof calculator.