The project this semester is a personal portfolio tracker. The user deposits cash, creates named portfolios (one per investment strategy, such as "Tech growth" or "Dividend income"), adds assets such ...

Many of the tests and readings that this repository reports were not made on the released programs, but on programs built from other sources; some, the tests with deliberately cheating provers among ...