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

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

Open Issues Need Help

View All on GitHub

[bug] Exp-002 Output about 1 month ago

bug good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

[Planning] Roadmap 2 months ago

documentation enhancement good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

Typos 2 months ago

good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

Roadmap help 3 months ago

enhancement help wanted good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

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

documentation enhancement help wanted

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

Testing of xLaDe tool 4 months ago

good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project