Skip to content
Published studies are shown for demonstration purposes, not because they are good or bad research. Demonstrator · items marked Example are invented · what exists today
Search

Skills · Theorist Toolbox

/math-proof

By Moran Koren · as credited by the source

Single-pass discipline for full, gap-free proofs: state what you will show before showing it, sign every term, no "clearly", no overgeneralizing from examples.

In the catalogue
No evaluations yet
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/math-proof/SKILL.md
Identifier
theorist-toolbox/math-proof

Use it

e2er skills install theorist-toolbox

The command is in e2er 0.10.0 and later.

Cite this skill
Persistent identifiers planned 
@software{morankorenbengurionunive2026mathproof,
  title   = {/math-proof},
  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/math-proof/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.

Description

Data model
Discipline
General
Method family
Theoretical
Design
not specified
Research stage
Formal modeling
Authors
Moran Koren
Usage
not used in published research yet
Source
RISE skill catalogue · theorist-toolbox · @4c17bae
Record
skill:theorist-toolbox/math-proof · 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.

More

modelingMIT

Evaluations

Planned

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

Evaluate this skill

More modeling skills in Theorist Toolbox

agent:prover

On e2er.org

Loading…

Report a failurePropose a new version

Discussion

Loading…