LakshitSinghBishtTM

LakshitSinghBishtTM/xLaDe

A Lean 4 Ecosystem Framework!

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 6 hours ago

good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

[bug] Exp-002 Output 3 months ago

bug good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

[Planning] Roadmap 3 months ago

documentation enhancement good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

Typos 3 months ago

good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

Roadmap help 4 months ago

enhancement help wanted good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

Running tests 4 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 5 months ago

documentation enhancement help wanted

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

Testing of xLaDe tool 5 months ago

good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project