Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Alessandro Linzi
linzialessandro
Follow
https://sites.google.com/view/alessandro-linzi/home
ALinzi41529
linzialessandro
alessandro-linzi-65bb41354
AI & ML interests
None yet
Recent Activity
authored
a paper
about 1 month ago
L-Mosaics and Bounded Join-Semilattices in Isabelle/HOL
View all activity
Organizations
None yet
Papers
1
arxiv:
2509.19854
models
0
None public yet
datasets
0
None public yet