Is there any recommended citation for citing mathcomp?

Concretely, I'd like to cite it for its formalization of algebra theories (groups, rings, fields, etc.)

Never mind, https://github.com/math-comp/math-comp/blob/master/mathcomp/algebra/ssralg.v mentions on which publication the formalization is based on :)

also: https://math-comp.github.io/papers.html

that paper is about the formalization technique, mostly. which is the context of the citation?

Last updated: Feb 08 2023 at 08:02 UTC