Support finding relevant facts and definitions in TLA+ proofs

Repository metrics

Stars

2,153 stars (2,153 stars)

PR merge metrics

No merged PRs in 30d (No merged PRs in 30d)

Description

Contributor guide

Research direction

Investigate issue #206 in the tlapm repository to understand the exact requirements and current limitations. Then study the TLA+ proof system and the tlapm tool's architecture to identify where changes need to be made.

Tech stack

java

Domain

tooling

Issue type

Feature

DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.

4

Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.

3-5 days

Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.

Fresh

ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.

Needs investigation

Prerequisites

JavaTLA+

Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.

30