informatica-unica/pl-lean
GitHub repository with 10 stars and 7 forks.
Language: Lean
24h trend summary
Trending score 0.41, freshness score 0.78, stars gained +1, forks gained +1.
Latest metric snapshot
2026-10-02: 10 stars and 7 forks.
GitHub repository with 10 stars and 7 forks.
Language: Lean
Trending score 0.41, freshness score 0.78, stars gained +1, forks gained +1.
2026-10-02: 10 stars and 7 forks.