Argument Graph Layout

• AND children sit side-by-side again inside formula containers. When a premise's outermost connective was IMPLIES or IFF, formula containers nested below it (with AND/OR children) were stacking their children vertically instead of laying them out horizontally. The graph now picks the layout direction per container based on that container's own children, so each formula box reverts to the original side-by-side arrangement.

App Icons

• Sharp iPhone home-screen icon. Adding Proposit to the iOS home screen no longer pins a blurry icon. The app now ships a proper 180x180 retina apple-touch-icon, plus matching 192x192 and 512x512 PWA sizes for cleaner installs on Android.
• Full-bleed icon redesign. The icon art has been redrawn from the source SVG: a full-bleed black square with the white Proposit "P" mark (and a white-square / black-mark dark variant). Previously the iOS rounded-square mask cropped a circle inside a white margin; now the mark fills the tile edge-to-edge with a comfortable safe area.