Home | Notifications | New Note | Local | Federated | Search | Logout

David Young@roboguy@mathstodon.xyz

PhD student in PL
Joined: 2026-06-23 04:30:36
1 notes, 0 following, 0 followers

David Young@roboguy@mathstodon.xyz (2026-06-22 10:53:41)
Before and after dragging a subexpression out
---Attachments---
image: https://media.mathstodon.xyz/media_attachments/files/116/791/255/734/095/422/original/5ea8291e194e952a.png
image: https://media.mathstodon.xyz/media_attachments/files/116/791/256/023/207/296/original/f980a5c7d2c4e63f.png