← Feed @yamad@msk.seppuku.club 2026-07-04 00:04 UTC ホモトピー型理論とな https://gist.github.com/yamarten/a60e9e4e1893c881cfb0e874a5d05b37 Replies (0) No replies.