Skip to content
This repository has been archived by the owner on Sep 10, 2023. It is now read-only.

Issues: Seasawher/math-in-type-theory-ja-old

Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort

Issues list

tex が有効でない
#1 opened Sep 3, 2023 by Seasawher
ProTip! Add no:assignee to see everything that’s not assigned.