Submissions from math-comp.github.io

		Mathematical Components (2018) (math-comp.github.io)
		3 points by phonebucket on July 25, 2020 \| past
		Mathematical Components (math-comp.github.io)
		1 point by svara on June 26, 2020 \| past
		Mathematical Components (The Book) (math-comp.github.io)
		1 point by lelf on May 28, 2019 \| past
		Mathematical Components: formalized mathematics for the Coq system (math-comp.github.io)
		3 points by adamnemecek on Oct 27, 2018 \| past \| 1 comment
		Mathematical Components: A Coq mathematics library [pdf] (math-comp.github.io)
		3 points by MichaelBurge on Sept 5, 2017 \| past
		Mathematical Components for the Coq system (math-comp.github.io)
		106 points by colinprince on Dec 28, 2016 \| past \| 3 comments