Formalized Mathematics (Open Access Journal)reference-global.com1 point·danielam··0 commentsOpen articleSaveView on HN