Some notes about the Collatz conjecture :
syracuse.pdf and short version
with a proof dependencies graph available at proofs relationship.
A free sofware tool, I wrote in order to manage accountancy
(double-entry bookkeeping, bills and so on) :
Fig's accountancy tool.
Follow me on Strava
if you like.