Skip to content

Explore Compare Saved

DevHubBuilt for curious developers. Data from GitHub.

Back to repositories

Public repository / rishistyping

fep_lean

No description provided.

0Stars

0Forks

0Open issues

0Subscribers

Language distribution

Share of source bytes reported by GitHub

Python94%

TeX5%

Shell1%

Lean<1%

Recent activity

Latest commits on the default branch

FEP_Lean v1.0.0 — initial releasedocxology · Apr 24, 2026

Project details

Created Apr 2026 Updated Apr 2026 Other

Contributors

1

docxology1 commits