GitHub repository: xuanruiqi/commalg
Primary language: Coq
Created: 2020-09-29T05:18:35Z
Description: Commutative algebra in Coq/SSReflect