The Lean proof assistant: introduction and challengesyoutube.com1 point·ykonstant··0 commentsOpen articleSaveView on HN