I really love the "Informal Reasoning" support idea. Does it have a reputation system (I see it on the architecture diagram)? In my proofgraph I used the notio

I really love the "Informal Reasoning" support idea. Does it have a reputation system (I see it on the architecture diagram)? In my proofgraph I used the notion "certificate". Theorems are either certified by proof (strongest one, multiple proofs are possible) or are signed by third parties (committee, reviewers, trusted experts, or semi-formal automatized systems or programs like Mathematica or Sage) or self-signed (weakest). EDIT: Ah, I see, there is a separate page explaining that.