Proof assistant for Typographical Number Theory - View it on GitHub