LakshitSinghBishtTM

LakshitSinghBishtTM/xLaDe

A Lean 4 Ecosystem Framework!

8 good first / help-wanted issues · Python · last activity Jun 28, 2026

1 stars 4 forks 1 watchers Python GNU General Public License v3.0

lean4 research-project

View on GitHub Website

8 Open Issues Need Help Last updated: Jun 28, 2026

Open Issues Need Help

View All on GitHub

[doc]: Typos and documentation help about 1 month ago

good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

[bug] Exp-002 Output 4 months ago

bug good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

[Planning] Roadmap 4 months ago

documentation enhancement good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

Typos 5 months ago

good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

Roadmap help 5 months ago

enhancement help wanted good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

Running tests 5 months ago

good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

Dependency on Lean 4 as submodule is barrier in decentralization 6 months ago

documentation enhancement help wanted

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

Testing of xLaDe tool 6 months ago

good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project