Order pruning

未关闭

#6 创建于 2021年11月8日 2 条评论 0 个 reaction 已指派 0 人在 GitHub 查看

enhancement

描述

Verify this works with test cases and evaluate performance of different heuristics for canonical morphism ordering

这个仓库没有索引到贡献指南

这个 Issue 还没有评估数据。