Time for a New Proof Assistantyoutube.com3 points·gsf_emergency_2··0 commentsOpen articleSaveView on HN