User blog comment:Wythagoras/Some function related to Loader's./@comment-11227630-20140719125717/@comment-11227630-20140719140440

The point is, again this question, which one is stronger, Taranovsky's notation system or Coq language.