← Feed @jonmsterling@mathstodon.xyz Post #2649827 2026-05-09 13:38 UTC @mevenlennonbertrand@lipn.info But, to be clear, the way I implement elaborators was inspired by Bob Atkey ;-) Replies (0) No replies.