Getting in on the formal verification hype in the only way I know how... building a UI framework đ
Meet Cairn: apps are in Lean, and every action is a claim, a durable id with a proof of what it does. A thin Swift + Metal host draws it on the Mac.
Show more
