📚 Tutorials#
Lattices
Lattices are mathematical structures that can be used to model a variety of systems in computer science, including type systems, data flow analysis, and more. In this tutorial, we will explore the concept of lattices, their operations and their properties using the GALACTIC framework.