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 :)
that paper is about the formalization technique, mostly. which is the context of the citation?
Last updated: Feb 08 2023 at 08:02 UTC