2 citations · 3 across the 8 of their papers we have counts for
1 paper · 1 filter
Alessandro Linzi
We present a complete formalization in Isabelle/HOL of the object part of an equivalence between L-mosaics and bounded join-semilattices, employing an AI-assisted methodology that…