- Stars
- 14
- Forks
- 7
- + today
- +1
- Created
- 9d
Ranking data as of October 7, 2026 (UTC).
Star History
Today, hour by hour
01
Overview
informatica-unica/pl-lean — trending on GitHub. It ranks #3303 on GitTiger, gaining +1 star on October 7, 2026 (UTC).
The project is written in Lean and has 7 forks. It was created 9d ago.
Installation
git clone https://github.com/informatica-unica/pl-lean.git
cd pl-lean
# see README for setup