tenjinとかのタグと理論的背景

ブログでのタグは：

1. STEM
2. 半形式証明スクリプト
3. xgerby
4. stringer

ブックマークでのタグでは：

1. proof-lang
2. string-logic
3. proof-shell
4. tenjin
5. tenjin-dev
6. gergy
7. tagging
8. muses
9. muses-dev

とか。

理論的背景は：

1. https://math.mit.edu/~dspivak/informatics/olog.pdf スピヴァックのolog

• https://homepages.inf.ed.ac.uk/gdp/publications/Montanari.pdf ブルーニ／モンタナリ達の On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs, 22p。tenjinはこれがベース（だったらしいが、あまり憶えてない）。
• https://www.sciencedirect.com/science/article/pii/S1567832610000068 The proof monad, 14p。対話的手続き的証明系のモナド定式化。ローカルに落とした、~/archive/ProofMonads.pdf