Lean versus Coq: The Cultural Chasmartagnon.com3 points·artagnon··0 commentsOpen articleSaveView on HN