Aims.md

   1 The aim of this project is to provide a search engine for (mathematical) axioms, definitions, theorems, lemmas, corollaries, etc. Not mere search engine of documents containing this elements, but a search engine of the results and axioms of Axiomatic Theories. An example: I want to know a new area of mathematics: triangular conorms.
   2
   3   *  What are the main theorems of this area?
   4   *  What are the definitions I have to learn?
   5   *  What are the open problems?
   6   *  Can I get the demostrations of the main results?
   7   *  What sources I have to read first to understand this area?
   8   *  What are the most cited articles?
   9   *  Are there a books of this area?
  10   *  In what Axiomatic Theory does it belong to?
  11   *  What are the main authors in this area?
  12   *  And what are the journals of reference?
  13
  14 `PropRef` is created for *trying* to solving these problems. Perhaps we will not achieve it but we will try it.