415 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とかあるね
@rickasaurus I'd suggest a cursory look at http://t.co/4aFAaLfF
@raudelmil See also http://t.co/cIxYQalV /cc @RonJeffries @kaleidic