Summary
- merged
- tuned signature: more exports;
- clarified signature: prefer internal Thm_Name.T over external Facts.ref;
- more robust / permissive;
- clarified signature: more operations;
- tuned;
- clarified operations, following pretty_thm_name;
- more accurate treatment of Thm_Name.T;
- renamed lemmas
- merged
- renamed theorems
- renamed theorems
- add title;
- use build_cluster in ci builds;
- merged
- tuned alias names in formulas
- renamed theorems
- add favicon to web app;