CairnAll
lean/CairnAll.lean
Everything in Cairn
Every module of Cairn but the tools and the fuzzer: the linked code (Cairn), its proofs and
tests, and the umbrellas over them. Not what apps import (that is Cairn, which links); what the
ledger, the axiom audit, the kernel replay and make doc read. In CairnProofs, never linked.
Imports Cairn.Geometry, Cairn.Claim, Cairn.Font, Cairn.Text.Field, Cairn.Text.FieldTests, Cairn.Text.Proofs, Cairn.Text.Host, Cairn.Text.Wrap, Cairn.Text.WrapProofs, Cairn.UI.Node, Cairn.UI.Images, Cairn.UI.Grid, Cairn.UI.Hit, Cairn.Input, Cairn.Frame, Cairn.Frame.Bytes, Cairn.Frame.Encode, Cairn.Frame.Events, Cairn.Frame.Build, Cairn.Frame.Menu, Cairn.Frame.Dump, Cairn.Abi, Cairn.Frame.Layout, Cairn.Frame.EventsTests, Cairn.Frame.BuildTests, Cairn.Abi.Tests, Cairn.Surface, Cairn.App, Cairn.Claims.Core, Cairn.Runtime, Cairn.Claims.Deliver, Cairn.Layout, Cairn.Optimistic.Server, Cairn.Optimistic.Claims