A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
Latest commits.
Builders behind this project.
