Mathematical Components: A Coq mathematics library [pdf]math-comp.github.io3 points·MichaelBurge··0 commentsOpen articleSaveView on HN