試しにpublishしてみたが、 http://globular.science/1601.003 http://globular.science/1601.003v1 保存したワークスペースのロードができない。

Globular探り 10：定理と証明 - 檜山正幸のキマイラ飼育記 メモ編で「定理と証明」の話をしたけど、あれは伝統的な「定理と証明」の枠組みに依拠している。ほんとのところ、Globular内では伝統的な「定理と証明」なんてありゃしない。伝統的な概念に慣れてい…

globularタグを付けたので、今後はタグでglobular関係を識別する。