if if if

Tenjin, a semiformal concept description language for STEM documents目標は、グチャグチャな古典微分幾何とか記述できるレベル。

https://www.sciencedirect.com/science/article/pii/S1567832610000068 The proof monad, 14p。対話的手続き的証明系のモナド定式化。ローカルに落とした、~/archive/ProofMonads.pdf これ読んでみたが、予想と違うことが書いてあった。証明モナドはモッジ…

ブログでのタグは： STEM 半形式証明スクリプト xgerby stringer ブックマークでのタグでは： proof-lang string-logic proof-shell tenjin tenjin-dev gergy tagging muses muses-dev とか。理論的背景は： https://math.mit.edu/~dspivak/informatics/olog…