569 followers
@kagami_hr Licensing the Mizar Mathematical Library(http://t.co/EoQSb6LLpM)で形式数学の数学ライブラリのライセンシングの話が書かれていてCoq Repository at NijmegenはGPLとかあるね
@kagami_hr Licensing the Mizar Mathematical Library(http://t.co/EoQSb6LLpM)で形式数学の数学ライブラリのライセンシングの話が書かれていてCoq Repository at NijmegenはGPLとかあるね