Preview build on GitHub Pages. The open registry will live at e2er.org.
Skip to content
Demonstrator · items marked Example are invented · what exists today
E2ER

Skills · Theorist Toolbox

/proof-readability

By Moran Koren · as credited by the source

Post-verification exposition pass for already-verified proofs — six layers (architecture, signposting, justification, notation, intuition, grammar) without changing the mathematics.

In the catalogueeditingMIT
Anyone can contribute. Improve this skill Contribute a skill

Provenance

Project
Theorist Toolbox
Maintained by
Moran Koren (Ben-Gurion University of the Negev, Economics)
Licence
MIT · can be redistributed
Source file
morankor/theorist-toolbox/blob/main/skills/proof-readability/SKILL.md
Identifier
theorist-toolbox/proof-readability

Use it

e2er skills install theorist-toolbox

The command is on the development branch of E2ER.

Cite this skill
Persistent identifiers planned 
@software{morankorenbengurionunive2026proofreadability,
  title   = {/proof-readability},
  author  = {Moran Koren (Ben-Gurion University of the Negev, Economics)},
  year    = {2026},
  note    = {E2ER skill. Persistent identifier planned},
  url     = {https://github.com/morankor/theorist-toolbox/blob/main/skills/proof-readability/SKILL.md}
}
 Report a failure

Used by

No E2ER specialist loads this skill by default. Once installed, a template can assign it to a specialist.

Evaluations

Planned

No evaluation record yet. An evaluation shows where a skill breaks before others rely on it.

Evaluate this skill

Description

Data model
Discipline
General
Method family
Theoretical
Design
not specified
Research stage
Revision and editing
Contributors
Moran Koren
Usage
not used in published research yet
Source
RISE skill catalogue · theorist-toolbox · @4c17bae
Record
skill:theorist-toolbox/proof-readability · JSON

Solid tags are declared by the source or mapped from its terms; dashed tags are inferred by a published rule. Hover a tag for its provenance.