lemma-platform 與 cc-haha 比較

依授權方式、專案品質與可驗證的公開訊號比較 lemma-platform 和 cc-haha。