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

bug good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

[Planning] Roadmap 19 days ago

documentation enhancement good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

Typos 22 days ago

good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

Roadmap help about 1 month ago

enhancement help wanted good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

Running tests about 1 month 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 2 months ago

documentation enhancement help wanted

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project

Testing of xLaDe tool 3 months ago

good first issue

LakshitSinghBishtTM/xLaDe

1

A Lean 4 Ecosystem Framework!

Python

#lean4#research-project