Proof Assistant Makes Jump to Big-League Mathquantamagazine.org40 points·actually_a_dog··0 commentsOpen articleSaveView on HN