Post #3284199
2026-06-09 11:56 UTC
Thinking about ask-bis, I wrote a page to talk about how I'm reimagining equational derivations: https://github.com/msp-strath/ask-bis/wiki/Equations
Replies (2)
-
@autumnwinds@mathstodon.xyz 2026-06-09 12:03
@pigworker@types.pl ooh i like the focus syntax
-
@jonmsterling@mathstodon.xyz 2026-06-09 12:15
@pigworker@types.pl very nice...