1. カテゴリーなし

証明支援系を用いたトポロジーの形式化について