Laz Goes Live

The Lattice Assumption Zoo just launched! While the list of catalogued is assumptions is not exhaustive yet, the concept and architecture are stable. This project yields the first community-driven approach to systematically catalogue the landscape of lattice-based assumptions, which has seen rapid growth in the past five years.