aya-prover
https://github.com/aya-prover/aya-dev
~ Who's generalizing definitional equalities?
ice1000
定理証明支援系
GitHubにいる東方Projectの登場人物
射命丸文