pitmonticone/ItaLean2025
Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.
This repository provides all the essential materials for attendees of the ItaLean 2025 conference in Bologna, Italy. It serves as a central hub for installing the Lean theorem prover, accessing conference-specific projects, and finding additional learning resources. Mathematicians, computer scientists, and researchers attending the conference will use this to prepare for and engage with the event's activities.
Use this if you are attending the ItaLean 2025 conference and need to set up your environment, access project work, or find supplementary learning materials for the Lean theorem prover.
Not ideal if you are looking for a general introduction to theorem proving or Lean, as this is specifically tailored for conference participants and assumes some prior context.
Stars
22
Forks
6
Language
HTML
License
Apache-2.0
Category
Last pushed
Feb 06, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/pitmonticone/ItaLean2025"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
santiment/sanpy
Santiment API Python Client
oraios/sensAI
The Python library for sensible AI.
PoCInnovation/Workshops
Workshops organized to introduce students to security, AI, blockchain, AR/VR, hardware and software
leptonai/leptonai
A Pythonic framework to simplify AI service building
ai-builders/ai-builders.github.io
A program for kids who want to build good AI