GitHub
Giordano Colò
@giordanocol
About
AI Director | AI Researcher | Lean, Formal Methods, Cybersecurity
Location
Italy
Followers
2
Following
4
Public Repositories
1
Expertise
Skills & Technologies
Lean
GitHub Work
Projects & Repositories
Recent public projects and repositories from this profile.
lean-category-lab
LeanLean theorem proving and category theory learning lab
Lean
View Project