I'm hand-writing (with minimal assistance from AI for test creation and boilerplate) a new PyQt6 desktop application revolving around math. Here's a screenshot:

ProofOrbit v0.0 Desktop/Tablet App:

App landing page: