Coq と Lean、どうして差がついたのか…慢心、環境の違い