TY  - RPRT
TI  - L-Mosaics and Bounded Join-Semilattices in Isabelle/HOL
AU  - Alessandro Linzi
PY  - 2025
UR  - https://arxiv.org/abs/2509.19854
ID  - 2509.19854
ER  -