ItaLean2025
Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.
Install / Use
/learn @pitmonticone/ItaLean2025README
Install Lean
To install Lean, please follow the instructions on the official installation page.
Clone this repository
To clone this repository, please follow the instructions in the GitHub documentation.
After successfully cloning the repository, navigate into the project directory and execute the following command to retrieve the necessary cached dependencies:
lake exe cache get
To test that everything is working correctly, you can run the following command to build the project:
lake build
Projects
This section will list all the projects started or advanced during the conference. It will be updated as new projects are proposed and finalised.
Resources
For further learning resources, including tutorials, books, exercises, and tools, please see the official Lean learning page.
Sponsors
Institutional Support
Related Skills
YC-Killer
2.7kA library of enterprise-grade AI agents designed to democratize artificial intelligence and provide free, open-source alternatives to overvalued Y Combinator startups. If you are excited about democratizing AI access & AI agents, please star ⭐️ this repository and use the link in the readme to join our open source AI research team.
best-practices-researcher
The most comprehensive Claude Code skills registry | Web Search: https://skills-registry-web.vercel.app
groundhog
398Groundhog's primary purpose is to teach people how Cursor and all these other coding agents work under the hood. If you understand how these coding assistants work from first principles, then you can drive these tools harder (or perhaps make your own!).
isf-agent
a repo for an agent that helps researchers apply for isf funding
